Matches in Library of Congress for { <http://lccn.loc.gov/98022857> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 98022857 contributor B8343047.
- 98022857 created "1997.".
- 98022857 date "1997".
- 98022857 date "1997.".
- 98022857 dateCopyrighted "1997.".
- 98022857 description "Includes bibliographical references.".
- 98022857 extent "xi, 159 p. :".
- 98022857 identifier "3540645152 (pbk. : alk. paper)".
- 98022857 identifier 98022857-d.html.
- 98022857 identifier 98022857-t.html.
- 98022857 isPartOf "Lecture notes in computer science ; 1409. Lecture notes in artificial intelligence".
- 98022857 isPartOf "Lecture notes in computer science ; 1409.".
- 98022857 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 98022857 issued "1997".
- 98022857 issued "1997.".
- 98022857 language "eng".
- 98022857 publisher "Berlin ; New York : Springer,".
- 98022857 subject "006.3/33 21".
- 98022857 subject "Automatic theorem proving.".
- 98022857 subject "QA76.9.A96 S42 1997".
- 98022857 title "The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub.".
- 98022857 type "text".