J. H. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row, 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Sur La Verification De La Satisfaction Pour La Logique Des.. - Mahfoudh (2003) (Correct)
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
A Question Answering Interpretation of Resolution Refutation - Burhans (2002) (Correct)
A Preliminary User's Manual for Isabelle - Lawrence Paulson Computer (2 citations) (Correct)
Logic Programming, Functional Programming, and Inductive.. - Paulson, Smith (Correct)
Isabelle Tutorial and User's Manual - Paulson, Nipkow (1990) (23 citations) (Correct)
Designing a Theorem Prover - Lawrence Paulson Computer (1990) (9 citations) (Correct)
Satisfiability testing for Boolean formulas using.. - Gutiérrez, de.. (Correct)
Evidence Algorithm and Sequent Logical Inference Search - Degtyarev, Lyaletski.. (1999) (2 citations) (Correct)
On the EA-Style Integrated Processing of Self-Contained.. - Degtyarev, Lyaletski (2000) (Correct)
Using Decision Procedures to Accelerate Domain-Specific.. - Van Baalen, Roach (1999) (4 citations) (Correct)
Extracting Recursion Operators in Nuprl's Type Theory - Caldwell (2001) (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
cardTAP: Automated Deduction on a Smart Card - Slater, Goré, Posegga, Vogt (Correct)
Extracting Recursion Operators in Nuprl's Type Theory - Caldwell (2001) (Correct)
Analytica - An Experiment in Combining Theorem Proving and.. - Bauer, Clarke, Zhao (1997) (11 citations) (Correct)
Software Engineering within a Digital Business Ecosystem - Marcon, Corallo, De.. (2006) (Correct)
On Sets of Terms: - Study Of Generalisation (Correct)
A Framework for the Retrieval of Multimedia Objects Based on.. - Straccia (1999) (4 citations) (Correct)
Unknown - Formalization And Experimentation (Correct)
Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
A Disjunctive Positive Refinement of Model Elimination and its.. - Baumgartner (1995) (3 citations) (Correct)
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
Rule-Based Programming with Mathematica - Marin, Piroi (2004) (Correct)
An Introduction to Classical Propositional Logic: Syntax.. - Gore (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC