SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Predicate Subtyping with Predicate Sets
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Model elimination and connection tableau procedures
Handbook of automated reasoning
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Tool Building Requirements for an API to First-Order Solvers
Electronic Notes in Theoretical Computer Science (ENTCS)
A taxonomy of theorem-proving strategies
Artificial intelligence today
An Isabelle-like procedural mode for HOL light
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
ATP and Presentation Service for Mizar Formalizations
Journal of Automated Reasoning
Automated reasoning service for HOL light
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |