Matches in Library of Congress for { <http://lccn.loc.gov/97011975> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 97011975 contributor B8037509.
- 97011975 contributor B8037510.
- 97011975 created "c1997.".
- 97011975 date "1997".
- 97011975 date "c1997.".
- 97011975 dateCopyrighted "c1997.".
- 97011975 description "Includes bibliographical references and index.".
- 97011975 extent "xi, 372 p. :".
- 97011975 identifier "3540629203 (softcover : alk. paper)".
- 97011975 identifier 97011975-d.html.
- 97011975 isPartOf "Lecture notes in computer science . Lecture notes in artificial intelligence".
- 97011975 issued "1997".
- 97011975 issued "c1997.".
- 97011975 language "eng".
- 97011975 publisher "Berlin ; New York : Springer,".
- 97011975 subject "006.3/33 21".
- 97011975 subject "Automatic theorem proving Congresses.".
- 97011975 subject "Parallel processing (Electronic computers) Congresses.".
- 97011975 subject "QA76.9.A96 T33 1997".
- 97011975 title "Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.).".
- 97011975 type "text".