Matches in Library of Congress for { <http://lccn.loc.gov/91074072> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 91074072 contributor B6417252.
- 91074072 contributor B6417253.
- 91074072 contributor B6417254.
- 91074072 created "c1992.".
- 91074072 date "1992".
- 91074072 date "c1992.".
- 91074072 dateCopyrighted "c1992.".
- 91074072 description "Includes bibliographical references and index.".
- 91074072 extent "xix, 411 p. :".
- 91074072 identifier "0818624604 (paper)".
- 91074072 identifier "0818624612 (microfiche)".
- 91074072 identifier "0818624620 (case)".
- 91074072 issued "1992".
- 91074072 issued "c1992.".
- 91074072 language "eng".
- 91074072 publisher "Los Alamitos, Calif. : IEEE Computer Society Press,".
- 91074072 subject "511.3/028553 20".
- 91074072 subject "Automatic theorem proving Congresses.".
- 91074072 subject "Logic, Symbolic and mathematical Congresses.".
- 91074072 subject "QA76.9.A96 I59 1991".
- 91074072 title "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.".
- 91074072 type "text".