Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California / 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.

Author/creator International Workshop on the HOL Theorem Proving System and Its Applications
Format Electronic
Publication InfoLos Alamitos, Calif. : IEEE Computer Society Press,
Descriptionxix, 411 p. : ill. ; 28 cm.
Supplemental ContentFull text available from IEEE Electronic Library (IEL) Conference Proceedings
Supplemental ContentFull text available from IEEE Electronic Library (IEL)
Supplemental ContentFull text available from IEEE Conference Proceedings Archive
Subjects
Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.

Other author/creatorArcher, Myla.
Other author/creatorUniversity of California, Davis.
Other author/creatorUniversity of Idaho.
Other author/creatorUniversity of British Columbia.
Other author/creatorIEEE Xplore (Online service)
General note"IEEE Computer Society Press order number 2460"--T.p. verso.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 91074072
ISBN0818624604 (paper)
ISBN0818624612 (microfiche)
ISBN0818624620 (case)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available