Matches in Library of Congress for { <http://lccn.loc.gov/82006990> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 82006990 contributor B4173614.
- 82006990 created "c1982.".
- 82006990 date "1982".
- 82006990 date "c1982.".
- 82006990 dateCopyrighted "c1982.".
- 82006990 description "Bibliography: p. [253]-258.".
- 82006990 extent "xiv, 262 p. :".
- 82006990 identifier "0835713431".
- 82006990 isPartOf "Computer science. Artificial intelligence ; no. 12".
- 82006990 issued "1982".
- 82006990 issued "c1982.".
- 82006990 language "eng".
- 82006990 publisher "Ann Arbor, Mich. : UMI Research Press,".
- 82006990 subject "001.64/25 19".
- 82006990 subject "Computer programs Verification.".
- 82006990 subject "PL/CV (Computer program language)".
- 82006990 subject "QA76.6 .J65 1982".
- 82006990 title "A computer system for checking proofs / by Scott D. Johnson.".
- 82006990 type "text".