Matches in Library of Congress for { <http://lccn.loc.gov/83172968> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 83172968 contributor B4511100.
- 83172968 created "1983.".
- 83172968 date "1983".
- 83172968 date "1983.".
- 83172968 dateCopyrighted "1983.".
- 83172968 description "Includes bibliographical references.".
- 83172968 extent "2 v. :".
- 83172968 identifier "0387120432 (U.S. : v. 1)".
- 83172968 identifier "0387120440 (U.S. : v. 2)".
- 83172968 issued "1983".
- 83172968 issued "1983.".
- 83172968 language "eng".
- 83172968 publisher "Berlin ; New York : Springer,".
- 83172968 subject "001.53/5 19".
- 83172968 subject "Automatic theorem proving.".
- 83172968 subject "QA76.9.A96 A94 1983".
- 83172968 title "Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.".
- 83172968 type "text".