Analogy in Inductive Theorem Proving
Journal of Automated Reasoning
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Information Sciences: an International Journal - Special issue: Information technology
Sound generalizations in mathematical induction
Theoretical Computer Science
Improvements in Formula Generalization
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
"Term partition" for mathematical induction
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Induction, invariants, and abstraction
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Hi-index | 0.00 |