Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Conquering the Meredith Single Axiom
Journal of Automated Reasoning
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Hi-index | 0.00 |