Matches in Library of Congress for { <http://lccn.loc.gov/99034041> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 99034041 contributor B8656795.
- 99034041 contributor B8656796.
- 99034041 created "c1999.".
- 99034041 date "1999".
- 99034041 date "c1999.".
- 99034041 dateCopyrighted "c1999.".
- 99034041 description "Includes bibliographical references and index.".
- 99034041 extent "xiv, 428 p. :".
- 99034041 identifier "3540662227 (softcover : alk. paper)".
- 99034041 identifier 99034041-d.html.
- 99034041 isPartOf "Lecture notes in computer science ; 1632. Lecture notes in artificial intelligence".
- 99034041 isPartOf "Lecture notes in computer science ; 1632.".
- 99034041 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 99034041 issued "1999".
- 99034041 issued "c1999.".
- 99034041 language "eng".
- 99034041 publisher "Berlin ; New York : Springer,".
- 99034041 subject "006.3/3 21".
- 99034041 subject "Automatic theorem proving Congresses.".
- 99034041 subject "Logic, Symbolic and mathematical Congresses.".
- 99034041 subject "QA76.9.A96 I57 1999".
- 99034041 title "Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.).".
- 99034041 type "text".