Mace4 Reference Manual and Guide
暂无分享,去创建一个
[1] William McCune,et al. MACE 2.0 Reference Manual and Guide , 2001, ArXiv.
[2] Hantao Zhang,et al. SEM: a System for Enumerating Models , 1995, IJCAI.
[3] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .
[4] W. McCune. A Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems , 1994 .
[5] William McCune,et al. Experiments with discrimination-tree indexing and path indexing for term retrieval , 1992, Journal of Automated Reasoning.
[6] Jian Zhang. Constructing finite algebras with FALCON , 2004, Journal of Automated Reasoning.