Matches in Library of Congress for { <http://lccn.loc.gov/99010004> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 99010004 contributor B8628767.
- 99010004 created "c1998.".
- 99010004 date "1998".
- 99010004 date "c1998.".
- 99010004 dateCopyrighted "c1998.".
- 99010004 description "Includes bibliographical references and index.".
- 99010004 extent "ix, 283 p. :".
- 99010004 identifier "3540655093 (alk. paper)".
- 99010004 identifier 99010004-d.html.
- 99010004 identifier 99010004-t.html.
- 99010004 isPartOf "Lecture notes in computer science ; 1527 Lecture notes in artificial intelligence".
- 99010004 isPartOf "Lecture notes in computer science ; 1527.".
- 99010004 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 99010004 issued "1998".
- 99010004 issued "c1998.".
- 99010004 language "eng".
- 99010004 publisher "Berlin : New York : Springer,".
- 99010004 subject "004/.01/5113 21".
- 99010004 subject "Automatic theorem proving.".
- 99010004 subject "QA76.9.A96 B38 1998".
- 99010004 title "Theory reasoning in connection calculi / Peter Baumgartner.".
- 99010004 type "text".