Matches in Library of Congress for { <http://lccn.loc.gov/92034849> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 92034849 contributor B6651777.
- 92034849 created "c1992.".
- 92034849 date "1992".
- 92034849 date "c1992.".
- 92034849 dateCopyrighted "c1992.".
- 92034849 description "Includes bibliographical references (p. [259]-265) and indexes.".
- 92034849 extent "xviii, 271 p. ;".
- 92034849 identifier "0792320212 (alk. paper)".
- 92034849 identifier 92034849-d.html.
- 92034849 identifier 92034849-t.html.
- 92034849 isPartOf "Automated reasoning series ; v. 2".
- 92034849 issued "1992".
- 92034849 issued "c1992.".
- 92034849 language "eng".
- 92034849 publisher "Dordrecht ; Boston : Kluwer Academic,".
- 92034849 subject "511.3 20".
- 92034849 subject "Artificial intelligence.".
- 92034849 subject "Automatic theorem proving.".
- 92034849 subject "QA76.9.A96 Q35 1992".
- 92034849 title "Automated development of fundamental mathematical theories / by Art Quaife.".
- 92034849 type "text".