Matches in Library of Congress for { <http://lccn.loc.gov/80497900> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 80497900 contributor B3892223.
- 80497900 contributor B3892224.
- 80497900 created "1972.".
- 80497900 date "1972".
- 80497900 date "1972.".
- 80497900 dateCopyrighted "1972.".
- 80497900 description "Includes bibliographical references.".
- 80497900 extent "17 p.".
- 80497900 isPartOf "Monographs in computer science and computer applications, no. 6/72".
- 80497900 issued "1972".
- 80497900 issued "1972.".
- 80497900 language "eng".
- 80497900 publisher "[Rio de Janeiro, Pontifica Universidade Católica do Rio de Janeiro]".
- 80497900 subject "511.3 19".
- 80497900 subject "Automatic theorem proving.".
- 80497900 subject "QA76.9.A96 G34".
- 80497900 title "Applications of quantifier elimination to mechanical theorem proving [by] Klaus Galda and Emmanuel P. L. Passos.".
- 80497900 type "text".