Seventy-five problems for testing automatic theorem provers
Journal of Automated Reasoning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Hi-index | 0.00 |