Evaluating general purpose automated theorem proving systems
Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
The CADE-14 ATP System Competition
Journal of Automated Reasoning
Argumentation in Explanations to Logical Problems
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
p-SETHEO: Strategy Parallelism in Automated Theorem Proving
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Scheduling Methods for Parallel Automated Theorem Proving
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Learning Search Control Knowledge for Equational Theorem Proving
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Interpretation of a Mizar-Like Logic in First-Order Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
| Hi-index | 0.00 |