Reasoning about Solids Using Constraint Logic Programming
暂无分享,去创建一个
[1] D. McIlroy. Algebraic Simplification , 1966, CACM.
[2] Roland H. C. Yap,et al. Constraint Logic Programming and Option Trading , 1987, IEEE Expert.
[3] Christoph Brzoska,et al. Temporal Logic Programming and its Relation to Constraint Logic Programming , 1991, ISLP.
[4] Nicolas Beldiceanu,et al. Constraint Logic Programming , 1997 .
[5] Jean Jourdan,et al. Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry , 1990, NACLP.
[6] Gilles Pesant,et al. QUAD-CLP(R): Adding the Power of Quadratic Constraints , 1994, PPCP.
[7] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.
[8] Bruno Buchberger,et al. Computer algebra symbolic and algebraic computation , 1982, SIGS.
[9] André Vellino,et al. Constraint Arithmetic on Real Intervals , 1993, WCLP.
[10] Gabriel M. Kuper,et al. Constraint Query Languages , 1995, J. Comput. Syst. Sci..
[11] autoepistemic Zogic. Logic programming and negation : a survey , 2001 .
[12] Roland H. C. Yap,et al. The CLP( R ) language and system , 1992, TOPL.
[13] Christoph M. Hoffmann,et al. Geometric and Solid Modeling: An Introduction , 1989 .
[14] Peter J. Stuckey,et al. CLP(ℜ) and some electrical engineering problems , 1992, Journal of Automated Reasoning.
[15] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[16] Hoon Hong. RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals , 1991, WCLP.