Matches in Library of Congress for { <http://lccn.loc.gov/92044401> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92044401 contributor B6662878.
- 92044401 contributor B6662879.
- 92044401 created "1992.".
- 92044401 date "1992".
- 92044401 date "1992.".
- 92044401 dateCopyrighted "1992.".
- 92044401 description "Includes bibliographical references.".
- 92044401 extent "xi, 341 p. :".
- 92044401 identifier "044489876X (acid-free)".
- 92044401 isPartOf "IFIP transactions. A, Computer science and technology, 0926-5473 ; A-19".
- 92044401 issued "1992".
- 92044401 issued "1992.".
- 92044401 language "eng".
- 92044401 publisher "Amsterdam ; New York : North-Holland,".
- 92044401 subject "006.3 20".
- 92044401 subject "Artificial intelligence Congresses.".
- 92044401 subject "Automatic theorem proving Congresses.".
- 92044401 subject "QA76.9.A96 I35 1992".
- 92044401 title "Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 / edited by Z. Shi.".
- 92044401 type "text".