System Description: Multi A Multi-strategy Proof Planner
暂无分享,去创建一个
[1] Ian Green,et al. System description : Proof planning in higher-order logic with λ Clam , 1998 .
[2] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[3] Jacques D. Fleuriot,et al. IsaPlanner: A Prototype Proof Planner in Isabelle , 2003, CADE.
[4] Arjeh M. Cohen,et al. Certifying Solutions to Permutation Group Problems , 2003, CADE.
[5] Erica Melis,et al. Proof planning with multiple strategies , 2000, Artif. Intell..
[6] Erica Melis,et al. Failure Reasoning in Multiple-Strategy Proof Planning , 2005, STRATEGIES@IJCAR.
[7] Volker Sorge,et al. Proof Development with OMEGA , 2002, CADE.
[8] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..
[9] Volker Sorge,et al. Comparing Approaches to the Exploration of the Domain of Residue Classes , 2002, J. Symb. Comput..
[10] Simon Colton. The HR Program for Theorem Generation , 2002, CADE.
[11] Ian Green,et al. System Description: Proof Planning in Higher-Order Logic with Lambda-Clam , 1998, CADE.
[12] Simon Colton,et al. Employing Theory Formation to Guide Proof Planning , 2002, AISC.