Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
E-generalization using grammars
Artificial Intelligence
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Solving "how to clear a block" with constructive matching methodology
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
E-generalization using grammars
Artificial Intelligence
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |