Matches in Library of Congress for { <http://lccn.loc.gov/81007494> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 81007494 contributor B3949827.
- 81007494 created "c1981.".
- 81007494 date "1981".
- 81007494 date "c1981.".
- 81007494 dateCopyrighted "c1981.".
- 81007494 description "Includes bibliographical references and index.".
- 81007494 extent "202 p. ;".
- 81007494 identifier "0835712028".
- 81007494 isPartOf "Computer science. Artificial intelligence ; no. 4".
- 81007494 issued "1981".
- 81007494 issued "c1981.".
- 81007494 language "eng".
- 81007494 publisher "Ann Arbor, Mich. : UMI Research Press,".
- 81007494 subject "511.3 19".
- 81007494 subject "Automatic theorem proving.".
- 81007494 subject "Knowledge, Theory of Data processing.".
- 81007494 subject "Learning, Psychology of Data processing.".
- 81007494 subject "QA76.9.A96 C63 1981".
- 81007494 title "Knowledge based theorem proving and learning / by Donald N. Cohen.".
- 81007494 type "text".