Matches in Library of Congress for { <http://lccn.loc.gov/80504360> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 80504360 contributor B3900461.
- 80504360 contributor B3900462.
- 80504360 created "1972.".
- 80504360 date "1972".
- 80504360 date "1972.".
- 80504360 dateCopyrighted "1972.".
- 80504360 description "Bibliography: p. [23]".
- 80504360 extent "22, [1] p.".
- 80504360 isPartOf "Monographs in computer science and computer applications, no. 8/72".
- 80504360 issued "1972".
- 80504360 issued "1972.".
- 80504360 language "eng".
- 80504360 publisher "[Rio de Janeiro, Pontificia Universidade Católica do Rio de Janeiro]".
- 80504360 subject "511.3 19".
- 80504360 subject "Automatic theorem proving.".
- 80504360 subject "Predicate calculus.".
- 80504360 subject "QA9.35 .S26".
- 80504360 subject "SNOBOL (Computer program language)".
- 80504360 title "Automatic proofs for theorems on predicate calculus [by] Sueli M. Santos and Marilia R. Millan.".
- 80504360 type "text".