Knowledge-based Cooperation between Theorem Provers by Techs
暂无分享,去创建一个
[1] Michaël Rusinowitch,et al. On Word Problems in Equational Theories , 1987, ICALP.
[2] Harald Ganzinger,et al. Rewrite-Based Equational Theorem Proving with Selection and Simplification , 1994, J. Log. Comput..
[3] Maria Paola Bonacina,et al. The Clause-Diffusion Methodology for Distributed Deduction , 1995, Fundam. Informaticae.
[4] L. Bachmair,et al. Completion without Failure 1 , 1989 .
[5] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .
[6] Jörg Denzinger. Knowledge-Based Distributed Search Using Teamwork , 1995, ICMAS.
[7] Bonacina Maria Paola,et al. On the representation of dynamic search spaces in theorem proving , 1996 .
[8] Jörg Denzinger,et al. Cooperation in Theorem Proving by Loosely Coupled Heuristics , 1999 .
[9] Christoph Weidenbach,et al. Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion'' , 1996 .
[10] Matthias Fuchs,et al. DISCOUNT: A SYstem for Distributed Equational Deduction , 1995, RTA.
[11] Christoph Weidenbach,et al. SPASS & FLOTTER Version 0.42 , 1996, CADE.
[12] Geoff Sutcliffe,et al. A Heterogeneous Parallel Deduction System Page 1 A Heterogeneous Parallel Deduction System , 1992 .
[13] Matthias Fuchs,et al. Goal Oriented Equational Theorem Proving Using Team Work , 1994, KI.