Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Model elimination and connection tableau procedures
Handbook of automated reasoning
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
A taxonomy of theorem-proving strategies
Artificial intelligence today
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
Hi-index | 0.00 |