MUSCADET

swMATH6859MaRDI QIDQ18928FDOQ18928

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/0004370289900350

Described by source

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

Cited In (14)

• 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
• STRIP
• FOOL
• MODPROF
• Abstract Completeness
• Paraconsistency
• Propositional Resolution
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• PyRes
• Automated theorem proving in mathematics.
• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving
• Epistemic Logic

This page was built for software: MUSCADET