Matches in Library of Congress for { <http://lccn.loc.gov/97020663> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 97020663 contributor B8047612.
- 97020663 contributor B8047613.
- 97020663 created "c1997.".
- 97020663 date "1997".
- 97020663 date "c1997.".
- 97020663 dateCopyrighted "c1997.".
- 97020663 description "Includes bibliographical references and index.".
- 97020663 extent "xiv, 462 p. :".
- 97020663 identifier "3540631046 (pbk. : alk. paper)".
- 97020663 identifier 97020663-d.html.
- 97020663 isPartOf "Lecture notes in computer science ; 1249. Lecture notes in artificial intelligence".
- 97020663 isPartOf "Lecture notes in computer science ; 1249.".
- 97020663 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 97020663 issued "1997".
- 97020663 issued "c1997.".
- 97020663 language "eng".
- 97020663 publisher "Berlin ; New York : Springer,".
- 97020663 subject "006.3/33 21".
- 97020663 subject "Automatic theorem proving Congresses.".
- 97020663 subject "Logic, Symbolic and mathematical Congresses.".
- 97020663 subject "QA76.9.A96 I57 1997".
- 97020663 title "Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, ed.".
- 97020663 type "text".