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