Matches in Library of Congress for { <http://lccn.loc.gov/98028492> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 98028492 contributor B8349653.
- 98028492 contributor B8349654.
- 98028492 created "c1998.".
- 98028492 date "1998".
- 98028492 date "c1998.".
- 98028492 dateCopyrighted "c1998.".
- 98028492 description "Includes bibliographical references and index.".
- 98028492 extent "xiv, 441 p. :".
- 98028492 identifier "3540646752 (softcover : alk. paper)".
- 98028492 identifier 98028492-d.html.
- 98028492 isPartOf "Lecture notes in computer science ; 1421. Lecture notes in artificial intelligence".
- 98028492 isPartOf "Lecture notes in computer science ; 1421.".
- 98028492 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 98028492 issued "1998".
- 98028492 issued "c1998.".
- 98028492 language "eng".
- 98028492 publisher "Berlin ; New York : Springer,".
- 98028492 subject "006.3/3 21".
- 98028492 subject "Automatic theorem proving Congresses.".
- 98028492 subject "Logic, Symbolic and mathematical Congresses.".
- 98028492 subject "QA76.9.A96 I57 1998".
- 98028492 title "Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner, eds.".
- 98028492 type "text".