ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
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
Extensional Higher-Order Paramodulation and RUE-Resolution
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of 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 |