Matches in Library of Congress for { <http://lccn.loc.gov/96017235> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 96017235 contributor B7755535.
- 96017235 contributor B7755536.
- 96017235 created "c1996.".
- 96017235 date "1996".
- 96017235 date "c1996.".
- 96017235 dateCopyrighted "c1996.".
- 96017235 description "Includes bibliographical references and index.".
- 96017235 extent "x, 329 p. :".
- 96017235 identifier "3540612084 (pbk. : alk. paper)".
- 96017235 identifier 96017235-d.html.
- 96017235 isPartOf "Lecture notes in computer science ; 1071. Lecture notes in artificial intelligence".
- 96017235 isPartOf "Lecture notes in computer science ; 1071.".
- 96017235 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 96017235 issued "1996".
- 96017235 issued "c1996.".
- 96017235 language "eng".
- 96017235 publisher "Berlin ; New York : Springer,".
- 96017235 subject "511.3 20".
- 96017235 subject "Automatic theorem proving Congresses.".
- 96017235 subject "Logic, Symbolic and mathematical Congresses.".
- 96017235 subject "Nonclassical mathematical logic Congresses.".
- 96017235 subject "QA76.9.A96 T33 1996".
- 96017235 title "Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds.".
- 96017235 type "text".