Matches in Library of Congress for { <http://lccn.loc.gov/87170804> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 87170804 contributor B5517120.
- 87170804 created "1987.".
- 87170804 date "1987".
- 87170804 date "1987.".
- 87170804 dateCopyrighted "1987.".
- 87170804 description "Bibliography: p. [265]-280.".
- 87170804 extent "288 p. :".
- 87170804 isPartOf "Artificial intelligence (Braunschweig, Germany)".
- 87170804 isPartOf "Artificial intelligence = Künstliche Intelligenz".
- 87170804 issued "1987".
- 87170804 issued "1987.".
- 87170804 language "eng".
- 87170804 publisher "Braunschweig : F. Vieweg,".
- 87170804 subject "511.3 19".
- 87170804 subject "Automatic theorem proving.".
- 87170804 subject "QA76.9.A96 B5 1987".
- 87170804 title "Automated theorem proving / Wolfgang Bibel.".
- 87170804 type "text".