MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction
暂无分享,去创建一个
[1] W. W. Bledsoe,et al. Splitting and Reduction Heuristics in Automatic Theorem Proving , 1971, Artif. Intell..
[2] D. Pastre. Entre le déclaratif et le procédural : l'expression des connaissances dans le système MUSCADET , 1994 .
[3] Dominique Pastre,et al. MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics , 1989, Artif. Intell..
[4] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[5] W. W. Bledsoe,et al. Non-Resolution Theorem Proving , 1977, Artif. Intell..
[6] Dominique Pastre. Automatic Theorem Proving in Set Theory , 1978, Artif. Intell..
[7] Dominique Pastre,et al. Automated theorem proving in mathematics , 1993, Annals of Mathematics and Artificial Intelligence.