Matches in Library of Congress for { <http://lccn.loc.gov/00028492> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 00028492 contributor B18247.
- 00028492 created "2000.".
- 00028492 date "2000".
- 00028492 date "2000.".
- 00028492 dateCopyrighted "2000.".
- 00028492 description "Includes bibliographical references and index.".
- 00028492 extent "viii, 297 p. :".
- 00028492 identifier "3540671900 (softcover : alk. paper)".
- 00028492 identifier 00028492-d.html.
- 00028492 isPartOf "Lecture notes in computer science ; 1761. Lecture notes in artificial intelligence".
- 00028492 isPartOf "Lecture notes in computer science ; 1761.".
- 00028492 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 00028492 issued "2000".
- 00028492 issued "2000.".
- 00028492 language "eng".
- 00028492 publisher "Berlin ; New York : Springer,".
- 00028492 subject "006.3/33 21".
- 00028492 subject "Automatic theorem proving.".
- 00028492 subject "Logic, Symbolic and mathematical.".
- 00028492 subject "QA76.9.A96 A85 2000".
- 00028492 title "Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.).".
- 00028492 type "text".