MUSCADET

swMATH6859MaRDI QIDQ18928FDOQ18928

Author name not available (Why is that?)

Described by source

• MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
• Unnamed Publication
• Unnamed Publication

Cited In (6)

• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Title not available (Why is that?)
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Automated theorem proving in mathematics.
• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving

This page was built for software: MUSCADET