Experiments With Some Programs That Search Game Trees
Journal of the ACM (JACM)
Deleting Repeated Goals in the Problem Reduction Format
Journal of the ACM (JACM)
Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Some challenges and grand challenges for computational intelligence
Journal of the ACM (JACM)
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
Remarks on Geometric Theorem Proving
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
GRAMY: A Geometry Theorem Prover Capable of Construction
Journal of Automated Reasoning
A Semantically Guided Deductive System for Automatic Theorem Proving
IEEE Transactions on Computers
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers
A semantically guided deductive system for automatic theorem-proving
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A hole in goal trees: some guidance from resolution theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Sub-problem finder and instance checker: two cooperating preprocessors for theorem provers
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
EGS: a transformational approach to automatic example generation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A survey of automated deduction
Artificial intelligence today
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
| Hi-index | 0.01 |