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