The CADE-15 ATP System Competition
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
AI Communications
The CADE-20 automated theorem proving competition
AI Communications
A focusing inverse method theorem prover for first-order linear logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Simple and efficient clause subsumption with feature vector indexing
Automated Reasoning and Mathematics
Hi-index | 0.00 |