Matches in Library of Congress for { <http://lccn.loc.gov/96029057> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96029057 contributor B7769283.
- 96029057 contributor B7769284.
- 96029057 created "c1996.".
- 96029057 date "1996".
- 96029057 date "c1996.".
- 96029057 dateCopyrighted "c1996.".
- 96029057 description "Includes bibliographical references and index.".
- 96029057 extent "xv, 764 p. :".
- 96029057 identifier "3540615113 (alk. paper)".
- 96029057 isPartOf "Lecture notes in computer science ; 1104. Lecture notes in artificial intelligence".
- 96029057 isPartOf "Lecture notes in computer science ; 1104.".
- 96029057 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 96029057 issued "1996".
- 96029057 issued "c1996.".
- 96029057 language "eng".
- 96029057 publisher "Berlin ; New York : Springer,".
- 96029057 subject "006.3/3 20".
- 96029057 subject "Automatic theorem proving Congresses.".
- 96029057 subject "Logic, Symbolic and mathematical Congresses.".
- 96029057 subject "QA76.9.A96 I57 1996".
- 96029057 title "Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, eds.".
- 96029057 type "text".