Matches in Library of Congress for { <http://lccn.loc.gov/79050819> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 79050819 alternative "Theorem proving for question-answering systems.".
- 79050819 contributor B3520900.
- 79050819 created "1980.".
- 79050819 date "1980".
- 79050819 date "1980.".
- 79050819 dateCopyrighted "1980.".
- 79050819 description "Includes bibliographical references.".
- 79050819 extent "vi, vii, 162 p. :".
- 79050819 identifier "0824044150 :".
- 79050819 isPartOf "Outstanding dissertations in the computer sciences".
- 79050819 issued "1980".
- 79050819 issued "1980.".
- 79050819 language "eng".
- 79050819 publisher "New York : Garland Pub.,".
- 79050819 subject "003".
- 79050819 subject "Automatic theorem proving.".
- 79050819 subject "QA76.9.Q4 G73 1980".
- 79050819 subject "Question-answering systems.".
- 79050819 title "The application of theorem proving to question-answering systems / Cordell Green.".
- 79050819 type "text".