约束逻辑程序设计
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1992年第3期235-245,共11页
Pattern Recognition and Artificial Intelligence
-
1林琪.面向对象的约束逻辑程序设计[J].计算机工程与应用,1997,33(12):24-27.
-
2易军凯,翟性泉,王雪晶.一种可扩展型CLP系统的统一建模方法[J].计算机工程与应用,2004,40(30):116-119. 被引量:2
-
3邓明武.约束逻辑程序设计语言CAL[J].武汉自动化,1992(3):38-47.
-
4徐成刚,易军凯,肖洋.基于约束逻辑程序设计的排课算法研究[J].计算机工程与应用,2006,42(31):197-199. 被引量:4
-
5汤玮,卢向澄,郑磊,刘椿年.用CLP技术解决动画自动生成中的布局规划问题[J].计算机应用研究,2006,23(5):244-247. 被引量:1
-
6徐贵红.约束数据库技术概论[J].内蒙古大学学报(自然科学版),2002,33(2):224-229.
-
7林琪.SC-PROLOG解释系统中的约束逻辑程序设计方法[J].计算机工程与科学,1997,19(1):68-72. 被引量:1
-
8王浩,张奠成.一种具有约束演绎能力的面向对象数据库语言CDOL[J].计算机学报,1998,21(S1):184-189. 被引量:1
-
9陈波,曾国荪,李莉.基于约束逻辑的非单调属性委托[J].计算机科学,2008,35(6):202-205.
-
10吴伟华,刘一松.基于流演算和FLUX的办公室机器人控制[J].计算机工程与设计,2008,29(11):2871-2874. 被引量:2
;