Exploring properties of residue classes
暂无分享,去创建一个
[1] G. Gentzen. Untersuchungen über das logische Schließen. II , 1935 .
[2] Peter B. Andrews. Transforming Matings into Natural Deduction Proofs , 1980, CADE.
[3] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[4] Masayuki Fujita,et al. Automatic Generation of Some Results in Finite Algebra , 1993, IJCAI.
[5] Alan Bundy,et al. Middle-Out Reasoning for Logic Program Synthesis , 1993, ICLP.
[6] Darren Redfern,et al. The Maple handbook , 1994 .
[7] W. McCune. A Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems , 1994 .
[8] Paul B. Jackson. Exploring Abstract Algebra in Constructive Type Theory , 1994, CADE.
[9] M. Stickel,et al. Automated reasoning and exhaustive search: Quasigroup existence problems☆ , 1995 .
[10] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..
[11] Erica Melis,et al. Proof planning with multiple strategies , 2000, Artif. Intell..