Matches in Library of Congress for { <http://lccn.loc.gov/80497899> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 80497899 contributor B3892222.
- 80497899 created "1971.".
- 80497899 date "1971".
- 80497899 date "1971.".
- 80497899 dateCopyrighted "1971.".
- 80497899 description "Includes bibliographical references.".
- 80497899 extent "13 l.".
- 80497899 isPartOf "Monographs in computer science and computer applications, no. 10/71".
- 80497899 issued "1971".
- 80497899 issued "1971.".
- 80497899 language "eng".
- 80497899 publisher "[Rio de Janeiro, Pontifícia Universidade Católica do Rio de Janeiro]".
- 80497899 subject "511.3 19".
- 80497899 subject "Automatic theorem proving.".
- 80497899 subject "QA76.9.A96 P37".
- 80497899 title "Introduction to mechanical theorem proving.".
- 80497899 type "text".