Matches in Library of Congress for { <http://lccn.loc.gov/73128580> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 73128580 contributor B2268758.
- 73128580 created "[1970]".
- 73128580 date "1970".
- 73128580 date "[1970]".
- 73128580 dateCopyrighted "[1970]".
- 73128580 description "Bibliography: p. 161-165.".
- 73128580 extent "vii, 165 p.".
- 73128580 issued "1970".
- 73128580 issued "[1970]".
- 73128580 language "eng".
- 73128580 publisher "Detroit, Management Information Services".
- 73128580 subject "651.8".
- 73128580 subject "Automatic theorem proving.".
- 73128580 subject "Q335 .G74".
- 73128580 subject "Question-answering systems.".
- 73128580 title "The application of theorem proving to question-answering systems.".
- 73128580 type "text".