mega : Towards a Mathematical
暂无分享,去创建一个
Karsten Konrad | Michael Kohlhase | Xiaorong Huang | Erica Melis | Manfred Kerber | Lassaad Cheikhrouhou | Andreas Meier | Armin Fiedler | Detlef Fehrer | Wolf Schaarschmidt | AssistantChristoph | Benzm uller | J org Siekmann
[1] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .
[2] Xiaorong Huang,et al. Presenting Machine-Found Proofs , 1996, CADE.
[3] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[4] Volker Sorge,et al. Integrating Computer Algebra with Proof Planning , 1996, DISCO.