Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007616427/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b10526547.
- catalog contributor b10526548.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "The Char-Set Method and Its Applications to Automated Reasoning / Wu Wen-Tsun -- Decidable Call by Need Computations in Term Rewriting / I. Durand and A. Middeldorp -- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method / F. Baader and C. Tinelli -- On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting / J. Niehren, M. Pinkal and P. Ruhrberg -- Dedam: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses / R. Nieuwenhuis, J.M. Rivero and M.A. Vallejo -- The Clause-Diffusion Theorem Prover Peers-mcd / M.P. Bonacina -- Integration of Automated and Interactive Theorem Proving in ILF / B.I. Dahn, J. Gehne and Th. Honigmann [and others] -- ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output / A. Wolf and J. Schumann.".
- catalog extent "xiv, 462 p. :".
- catalog hasFormat "Automated deduction, CADE-14.".
- catalog identifier "3540631046 (pbk. : alk. paper)".
- catalog isFormatOf "Automated deduction, CADE-14.".
- catalog isPartOf "Lecture notes in computer science ; 1249. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1249.".
- 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 relation "Automated deduction, CADE-14.".
- catalog subject "006.3/33 21".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA76.9.A96 I57 1997".
- catalog tableOfContents "The Char-Set Method and Its Applications to Automated Reasoning / Wu Wen-Tsun -- Decidable Call by Need Computations in Term Rewriting / I. Durand and A. Middeldorp -- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method / F. Baader and C. Tinelli -- On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting / J. Niehren, M. Pinkal and P. Ruhrberg -- Dedam: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses / R. Nieuwenhuis, J.M. Rivero and M.A. Vallejo -- The Clause-Diffusion Theorem Prover Peers-mcd / M.P. Bonacina -- Integration of Automated and Interactive Theorem Proving in ILF / B.I. Dahn, J. Gehne and Th. Honigmann [and others] -- ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output / A. Wolf and J. Schumann.".
- catalog title "Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, ed.".
- catalog type "Conference proceedings. fast".
- catalog type "text".