Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007613894/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.".
- catalog alternative "TABLEAUX '97".
- catalog contributor b10523046.
- catalog contributor b10523047.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "MGTP: A Model Generation Theorem Prover -- Its Advanced Features and Applications / Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura -- Three Faces of Natural Deduction / Grigori Mints -- Tableaux for Logic Programming with Strong Negation / Seiki Akama -- Generalized Tableau Systems for Intermediate Propositional Logics / Alessandro Avellone, Pierangelo Miglioli and Ugo Moscato [and others] -- Lean Induction Principles for Tableaux / Matthias Baaz, Uwe Egly and Christian G. Fermuller -- Tableaux for Diagnosis Applications / Peter Baumgartner, Peter Frohlich and Ulrich Furbach [et al.] -- Free Variable Tableaux for Propositional Modal Logics / Bernhard Beckert and Rajeev Gore -- A Sequent Calculus for Skeptical Default Logic / Piero A. Bonatti and Nicola Olivetti -- A Fast Saturation Strategy for Set-Theoretic Tableaux / Domenico Cantone -- Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics / Serenella Cerrito and Marta Cialdea Mayer.".
- catalog description "This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.".
- catalog extent "xi, 372 p. :".
- catalog identifier "3540629203 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1227. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1227.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "006.3/33 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Computer science.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "QA76.9.A96 T33 1997".
- catalog tableOfContents "MGTP: A Model Generation Theorem Prover -- Its Advanced Features and Applications / Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura -- Three Faces of Natural Deduction / Grigori Mints -- Tableaux for Logic Programming with Strong Negation / Seiki Akama -- Generalized Tableau Systems for Intermediate Propositional Logics / Alessandro Avellone, Pierangelo Miglioli and Ugo Moscato [and others] -- Lean Induction Principles for Tableaux / Matthias Baaz, Uwe Egly and Christian G. Fermuller -- Tableaux for Diagnosis Applications / Peter Baumgartner, Peter Frohlich and Ulrich Furbach [et al.] -- Free Variable Tableaux for Propositional Modal Logics / Bernhard Beckert and Rajeev Gore -- A Sequent Calculus for Skeptical Default Logic / Piero A. Bonatti and Nicola Olivetti -- A Fast Saturation Strategy for Set-Theoretic Tableaux / Domenico Cantone -- Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics / Serenella Cerrito and Marta Cialdea Mayer.".
- catalog title "Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / Didier Galmiche (ed.).".
- catalog title "TABLEAUX '97".
- catalog type "Conference proceedings. fast".
- catalog type "Pont-à-Mousson (1997) swd".
- catalog type "text".