Matches in Library of Congress for { <http://lccn.loc.gov/00041908> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 00041908 contributor B33901.
- 00041908 contributor B33902.
- 00041908 created "2000.".
- 00041908 date "2000".
- 00041908 date "2000.".
- 00041908 dateCopyrighted "2000.".
- 00041908 description "Includes bibliographical references and index.".
- 00041908 extent "xiii, 512 p. :".
- 00041908 identifier "3540676643 (softcover : alk. paper)".
- 00041908 identifier 00041908-d.html.
- 00041908 isPartOf "Lecture notes in computer science ; 1831. Lecture notes in artificial intelligence".
- 00041908 isPartOf "Lecture notes in computer science ; 1831.".
- 00041908 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 00041908 issued "2000".
- 00041908 issued "2000.".
- 00041908 language "eng".
- 00041908 publisher "Berlin ; New York : Springer,".
- 00041908 subject "006.3/33 21".
- 00041908 subject "Automatic theorem proving Congresses.".
- 00041908 subject "Logic, Symbolic and mathematical Congresses.".
- 00041908 subject "QA76.9.A96 I57 2000".
- 00041908 title "Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.).".
- 00041908 type "text".