The following pages link to (Q3857731):
Displaying 5 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
