Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
An Interactive Derivation Viewer
Electronic Notes in Theoretical Computer Science (ENTCS)
SRASS - A Semantic Relevance Axiom Selection System
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
The naproche project controlled natural language proof checking of mathematical texts
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Testing first-order logic axioms in program verification
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Automated reasoning and presentation support for formalizing mathematics in Mizar
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Extending Sledgehammer with SMT solvers
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Automatic proof and disproof in Isabelle/HOL
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Using the TPTP language for writing derivations and finite interpretations
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
ATP and Presentation Service for Mizar Formalizations
Journal of Automated Reasoning
A framework for testing first-order logic axioms in program verification
Software Quality Control
Hi-index | 0.00 |