The following pages link to MUSCADET (Q18928):
Displayed 6 items.
- Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving (Q679252) (← links)
- Automated theorem proving in mathematics. (Q1353941) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- (Q3491004) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (Q5941850) (← links)