Formal Proofs About Rewriting Using ACL2
Annals of Mathematics and Artificial Intelligence
Journal of Automated Reasoning
Short Single Axioms for Boolean Algebra
Journal of Automated Reasoning
Automated Proof Construction in Type Theory Using Resolution
Journal of Automated Reasoning
Formalizing Rewriting in the ACL2 Theorem Prover
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Survey of Hybrid Techniques for Functional Verification
IEEE Design & Test
Verified Software: Theories, Tools, Experiments
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Using the TPTP language for writing derivations and finite interpretations
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Towards self-verification of HOL light
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Enhancing the automatic generation of hints with expert seeding
International Journal of Artificial Intelligence in Education - Special issue on Best of ITS 2010
Electronic Notes in Theoretical Computer Science (ENTCS)
PRocH: proof reconstruction for HOL light
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |