一个基于规则的CAD演绎数据库逻辑语言
-
1郑卫东,郭玉钗,林宗楷.一个基于规则的CAD演绎数据库逻辑语言[J].计算机工程与应用,1992,28(5):44-48. 被引量:1
-
2陈世鸿.逻辑语言的计算模型[J].计算机杂志,1990,18(5):1-5.
-
3王文敏,方滨兴,胡铭曾.逻辑程序设计语言的数据流并行计算模型研究[J].哈尔滨电工学院学报,1989,12(2):103-110.
-
4李晓敏,金芝,刘凤歧.面向对象逻辑语言中的常识知识表示[J].湘潭大学自然科学学报,1994,16(1):163-168.
-
5张燕.描述逻辑研究进展[J].江南大学学报(自然科学版),2010,9(1):122-126. 被引量:1
-
6金芝,胡守仁.结合逻辑和面向对象范例的一种新模型(SCKE)[J].国防科技大学学报,1992,14(3):1-8.
-
7崔亚林.基于时序逻辑语言XYZ/E验证信誉系统[J].科协论坛(下半月),2009(3):97-97.
-
8李婷婷.基于DL的数据库概化方法[J].电脑知识与技术(过刊),2014,20(5X):3217-3219.
-
9张广泉,戎玫,晏荣杰.基于时序逻辑语言描述的监控系统的软件体系结构求精[J].计算机工程与应用,2003,39(31):14-17. 被引量:2
;