Conferences in DBLP

International Conference on Automated Deduction (CADE) (cade)
1982 (conf/cade/1982)

1. Larry Wos
   Solving Open Questions with an Automated Theorem-Proving Program. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:1-31 [Conf]
   
2. Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
   STP: A Mechanized Logic for Specification and Verification. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:32-49 [Conf]
   
3. Dale Miller, Eve Longini Cohen, Peter B. Andrews
   A Look at TPS. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:50-69 [Conf]
   
4. Ewing L. Lusk, William McCune, Ross A. Overbeek
   Logic Machine Architecture: Kernel Funtions. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:70-84 [Conf]
   
5. Ewing L. Lusk, William McCune, Ross A. Overbeek
   Logic Machine Architecture: Inference Mechanisms. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:85-108 [Conf]
   
6. S. K. Winker, Larry Wos
   Procedure Implementation Through Demodulation and Related Tricks. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:109-131 [Conf]
   
7. Bernard Silver
   The Application of Homogenization to Simultaneous Equations. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:132-143 [Conf]
   
8. Leon Sterling, Alan Bundy
   Meta-Level Inference and Program Verification. [Citation Graph (1, 0)][DBLP]
   CADE, 1982, pp:144-150 [Conf]
   
9. Richard W. Weyhrauch
   An Example of FOL Using Metatheory. [Citation Graph (0, 0)][DBLP]
   CADE, 1982, pp:151-158 [Conf]
   
10. Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted
    Comparison of Natural Deduction and Locking Resolution Implementations. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:159-171 [Conf]
    
11. Douglas R. Smith
    Derived Preconditions and Their Use in Program Synthesis. [Citation Graph (1, 0)][DBLP]
    CADE, 1982, pp:172-193 [Conf]
    
12. Chris Goad
    Automatic Construction of Special Purpose Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:194-208 [Conf]
    
13. Robert E. Shostak
    Deciding Combinations of Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:209-222 [Conf]
    
14. Tomasz Pietrzykowski, Stan Matwin
    Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:223-239 [Conf]
    
15. Stan Matwin, Tomasz Pietrzykowski
    Exponential Improvement of Efficient Backtracking: data Structure and Implementation. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:240-259 [Conf]
    
16. Dov M. Gabbay
    Intuitonistic Basis for Non-Monotonic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:260-273 [Conf]
    
17. Alan M. Frisch, James F. Allen
    Knowledge Retrieval as Limited Inference. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:274-291 [Conf]
    
18. Jack Minker
    On Indefinite Databases and the Closed World Assumption. [Citation Graph (36, 0)][DBLP]
    CADE, 1982, pp:292-308 [Conf]
    
19. Ricardo Caferra
    Proof by Matrix Reduction as Plan + Validation. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:309-325 [Conf]
    
20. K. M. Hörnig, Wolfgang Bibel
    Improvements of a Tautology-Testing Algorithm. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:326-341 [Conf]
    
21. Lawrence J. Henschen, Shamim A. Naqvi
    Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:342-359 [Conf]
    
22. Ronald V. Book
    The Power of the Church-Rosser Property for String Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:360-368 [Conf]
    
23. Jörg H. Siekmann, Peter Szabó
    Universal Unification and a Classification of Equational Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:369-389 [Conf]