Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
By: edited by Myla Archer ... [et al.] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA.
Contributors: Archer, Myla.; University of California, Davis.; University of Idaho.; University of British Columbia.
Publisher: IEEE Computer Society Press
Published: 1992
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 411
Subjects: Automatic theorem proving -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references and index.
"IEEE Computer Society Press order number 2460"--T.p. verso.