Conferences in DBLP

International Conference on Automated Deduction (CADE) (cade)
2008 (conf/cade/2008paar)

1. 
   Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). [Citation Graph (, )][DBLP]
   
   
2. 
   Combining Theorem Proving with Natural Language Processing. [Citation Graph (, )][DBLP]
   
   
3. 
   Evaluation of Systems for Higher-order Logic (ESHOL). [Citation Graph (, )][DBLP]
   
   
4. 
   Bit Inference. [Citation Graph (, )][DBLP]
   
   
5. 
   Collaborative Programming: Applications of Logic and Automated Reasoning. [Citation Graph (, )][DBLP]
   
   
6. 
   A Small Framework for Proof Checking. [Citation Graph (, )][DBLP]
   
   
7. 
   Integration of the TPTPWorld into SigmaKEE. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards Fully Automated Axiom Extraction for Finite-Valued Logics. [Citation Graph (, )][DBLP]
   
   
9. 
   The Annual SUMO Reasoning Prizes at CASC. [Citation Graph (, )][DBLP]
   
   
10. 
    randoCoP: Randomizing the Proof Search Order in the Connection Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    Contextual Rewriting in SPASS. [Citation Graph (, )][DBLP]
    
    
12. 
    Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). [Citation Graph (, )][DBLP]
    
    
13. 
    Mechanized Reasoning for Continuous Problem Domains (Invited Talk). [Citation Graph (, )][DBLP]
    
    
14. 
    Presenting TSTP Proofs with Inference Web Tools. [Citation Graph (, )][DBLP]