Coloring Terms to Control Equational Reasoning
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
Combining induction axioms by machine
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of automated deduction
Artificial intelligence today
| Hi-index | 0.00 |