Matches in Library of Congress for { <http://lccn.loc.gov/99032019> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 99032019 contributor B8654425.
- 99032019 contributor B8654426.
- 99032019 created "c1999.".
- 99032019 date "1999".
- 99032019 date "c1999.".
- 99032019 dateCopyrighted "c1999.".
- 99032019 description "Includes bibliographical references.".
- 99032019 extent "x, 323 p. ;".
- 99032019 identifier "3540660860 (softcover : alk. paper)".
- 99032019 identifier 99032019-d.html.
- 99032019 isPartOf "Lecture notes in computer science ; 1617. Lecture notes in artificial intelligence".
- 99032019 isPartOf "Lecture notes in computer science ; 1617.".
- 99032019 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 99032019 issued "1999".
- 99032019 issued "c1999.".
- 99032019 language "eng".
- 99032019 publisher "Berlin ; New York : Springer,".
- 99032019 subject "006.3/33 21".
- 99032019 subject "Automatic theorem proving Congresses.".
- 99032019 subject "QA76.9.A96 T33 1999".
- 99032019 title "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.).".
- 99032019 type "text".