Cover of: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California | International Workshop on the HOL Theorem Proving System and Its Applications (1991 Davis, Calif.) Read Online
Share

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California

  • 71 Want to read
  • ·
  • 34 Currently reading

Published by IEEE Computer Society Press in Los Alamitos, Calif .
Written in English

Subjects:

  • Automatic theorem proving -- Congresses.,
  • Logic, Symbolic and mathematical -- Congresses.

Book details:

Edition Notes

Statementedited 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.
ContributionsArcher, Myla., University of California, Davis., University of Idaho., University of British Columbia.
Classifications
LC ClassificationsQA76.9.A96 I59 1991
The Physical Object
Paginationxix, 411 p. :
Number of Pages411
ID Numbers
Open LibraryOL1575482M
ISBN 100818624604, 0818624612, 0818624620
LC Control Number91074072

Download Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California

PDF EPUB FB2 MOBI RTF