Friday, February 21, 2014

MUSCADET 2.3, A Knowledge-Based Theorem Prover Based on Natural Deduction

D. Pastre

http://www.math-info.univ-paris5.fr/~pastre/muscadet/muscadet.html

http://link.springer.com/chapter/10.1007/3-540-45744-5_56#page-1

No comments: