Communications of the ACM
A Semi-Decision Procedure for the Functional Calculus
Journal of the ACM (JACM)
Theorem-Proving on the Computer
Journal of the ACM (JACM)
Structuring Resolution Proofs by Introducing New Lemmata
Journal of Automated Reasoning
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Early History and Perspectives of Automated Deduction
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Theorem proving with variable-constrained resolution
Information Sciences: an International Journal
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Theory-specific automated reasoning
A 25-year perspective on logic programming
| Hi-index | 0.02 |