Matches in Library of Congress for { <http://lccn.loc.gov/91171678> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 91171678 contributor B6497904.
- 91171678 contributor B6497905.
- 91171678 created "1990.".
- 91171678 date "1990".
- 91171678 date "1990.".
- 91171678 dateCopyrighted "1990.".
- 91171678 description "Includes bibliographical references (p. 24).".
- 91171678 extent "32 p. ;".
- 91171678 isPartOf "Memorandum ; 4430".
- 91171678 isPartOf "RSRE memorandun ; no. 4430.".
- 91171678 issued "1990".
- 91171678 issued "1990.".
- 91171678 language "eng".
- 91171678 publisher "London : HMSO,".
- 91171678 subject "511.3 20".
- 91171678 subject "Automatic theorem proving.".
- 91171678 subject "QA76.9.A96 S59 1990".
- 91171678 title "Which theorem prover? : a survey of four theorem provers / A. Smith.".
- 91171678 type "text".