Matches in Library of Congress for { <http://lccn.loc.gov/88008090%2F%2Fr912> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 88008090%2F%2Fr912 contributor B5614888.
- 88008090%2F%2Fr912 created "c1989.".
- 88008090%2F%2Fr912 date "1989".
- 88008090%2F%2Fr912 date "c1989.".
- 88008090%2F%2Fr912 dateCopyrighted "c1989.".
- 88008090%2F%2Fr912 description "Includes bibliographical references (p. [149]-155).".
- 88008090%2F%2Fr912 extent "xiv, 158 p. :".
- 88008090%2F%2Fr912 identifier "0262132354".
- 88008090%2F%2Fr912 isPartOf "Artificial intelligence (Cambridge, Mass.)".
- 88008090%2F%2Fr912 isPartOf "Artificial intelligence".
- 88008090%2F%2Fr912 issued "1989".
- 88008090%2F%2Fr912 issued "c1989.".
- 88008090%2F%2Fr912 language "eng".
- 88008090%2F%2Fr912 publisher "Cambridge, Mass. : MIT Press,".
- 88008090%2F%2Fr912 subject "510/.28/563 19".
- 88008090%2F%2Fr912 subject "Automatic theorem proving.".
- 88008090%2F%2Fr912 subject "Knowledge representation (Information theory)".
- 88008090%2F%2Fr912 subject "Ontic (Computer system)".
- 88008090%2F%2Fr912 subject "QA76.9.A96 M37 1989".
- 88008090%2F%2Fr912 title "Ontic : a knowledge representation system for mathematics / David A. McAllester.".
- 88008090%2F%2Fr912 type "text".