Chang, C., Lee, C.R.: Symbolic Logic and Mechanical Theorem Proving. Academic Press New York and London (1973) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Meta-reasoning for Agents' Private Knowledge Detection - Tozicka, Barta, Pechoucek (2003) (Correct)
No context found.
Chang, C., Lee, C.R.: Symbolic Logic and Mechanical Theorem Proving. Academic Press New York and London (1973)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
No context found.
C. L. Chang and R. C. T. Lee. Symbolic logic and mechanical theorem proving. Academic Press, 1973.
Making Predicate Abstraction Efficient: - How To Eliminate (Correct)
No context found.
Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science and Applied Mathematics Series. Academic Press, New York, NY, 1973.
A Complete Subsumption Algorithm Stefano Feri84 Ni laDi.. - Dipartimento Di Info (Correct)
No context found.
C. L. Chang and R.C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New YoA , 1973. 2
Subsumption and Resolution: A New - Algorithm Ferilli Di (Correct)
No context found.
C.L. Chang and R.C.T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.
Horn Clauses and Functional Dependencies - In Complex-Value Databases (Correct)
No context found.
Chang, C. & Lee, R. (1987), Symbolic Logic and Mechanical Theorem Proving, Academic Press.
Semantic Knowledge Partitioning - Christoph Wernhard Institut (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Boston, 1973.
Answering Queries Addressed to a Rule Base - Laurence Cholvy Onera (1990) (9 citations) (Correct)
No context found.
R. Lee C. Chang. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
Default Reasoning Using Classical Logic - Ben-Eliyahu, Dechter (1995) (3 citations) (Correct)
No context found.
Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, INC, 1987.
Resolution-Based Methods for Modal Logics - De Nivelle, Schmidt, Hustadt (2000) (5 citations) (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science Classics Series. Academic Press, New York, 1973.
Domain-Specific Languages in Software Development - and the.. - Christensen (2003) (1 citation) (Correct)
No context found.
Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving, chapter 10.9 The Specialization of Programs, pages 228--231. Computer Science and Applied Mathematics. Academic Press, New York, London, 1973.
Strategies for Focusing Structure-Based Theorem Proving - Amir, McIlraith (2001) (Correct)
No context found.
Chang, C.-L. and Lee, R. C.-T. (1973). Symbolic Logic and Mechanical Theorem Proving. Academic Press.
Semantic Knowledge Partitioning (Extended Abstract) - Wernhard (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Boston, 1973.
Practical Partition-Based Theorem Proving for Large.. - MacCartney, McIlraith.. (2003) (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
The Path-Indexing Method for Indexing Terms - Mark Stickel Artificial (1989) (12 citations) (Correct)
No context found.
Chang, C.L. and R.C.T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, New York, 1973.
Symbolic Transfer Function-based Approaches to Certified Compilation - Rival (2004) (1 citation) (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, Computer Science Classics, 1973.
OTTER 3.3 Reference Manual - McCune (Correct)
No context found.
C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.
Linear and Unit-Resulting Refutations for Horn Theories - Baumgartner (1995) (5 citations) (Correct)
No context found.
C. Chang and R. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
Linear and Unit-Resulting Refutations for Horn Theories - Baumgartner (1995) (5 citations) (Correct)
No context found.
C. Chang and R. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
Implementing Dynamic Semantic Resolution - Thornton (Correct)
No context found.
C. Chang and R. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
Proof Systems { A Vade-mecum - Esslli Birmingham Krysia (2000) (Correct)
No context found.
C. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic press, (1973)
A Disjunctive Positive Refinement of Model Elimination and its.. - Baumgartner (1995) (3 citations) (Correct)
No context found.
C. L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.
Distributed Reasoning in a Peer-to-Peer Setting - Adjiman Chatalic Goasdou (Correct)
No context found.
C. L. Chang and R. C. Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science Classics, Academic Press, 1973.
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
No context found.
Chang, C & Lee, R.C., Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.
The Implementation of a First-Order Logic AGM Belief Revision.. - Simon Dixon And (1993) (6 citations) (Correct)
No context found.
Chang, C.L. & Lee, R.C.T. (1973) Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, NY.
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