First Page | Document Content | |
---|---|---|
![]() Date: 2006-11-07 08:18:44Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification | Add to Reading List |
![]() | Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff SutcliffeDocID: 1qjaE - View Document |
![]() | The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de WaalDocID: 1pBlm - View Document |
![]() | A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´DocID: 1dOxM - View Document |