Annals of Mathematics and Artificial Intelligence
Planning Proofs of Equations in CCS
Automated Software Engineering
Coloring Terms to Control Equational Reasoning
Journal of Automated Reasoning
Information Sciences: an International Journal - Special issue: Information technology
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
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)
Hi-index | 0.00 |