MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Induction Proofs with Partial Functions
Journal of Automated Reasoning
System Description: inka 5.0 - A Logic Voyager
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A generic modular data structure for proof attempts alternating on ideas and granularity
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |