MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Breadth-First Strategy for Mating Search
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of automated reasoning
Herbrand Award Acceptance Speech
Journal of Automated Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Proving theorems of type theory automatically with TPS
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Hi-index | 0.00 |