软件及软件开发工具
出处
《电子科技文摘》
2002年第2期101-105,共5页
Sci.& Tech.Abstract
-
1马学强,施伯乐.封闭世界假设及其在知识库中的应用[J].复旦学报(自然科学版),1990,29(4):437-441.
-
2刘兴武,徐志伟,孙毓忠.关于交互和图灵可计算性的一些注记[J].科学通报,2004,49(22):2375-2376.
-
3王克文,周立柱,冯建华.析取封闭世界假设的一种过程语义(英文)[J].软件学报,2001,12(9):1265-1270.
-
4陆汝钤,张松懋.少儿图灵测试回顾(英文)[J].软件学报,2004,15(12):1751-1763. 被引量:1
-
5Dantong OUYANG Xianji CUI Yuxin YE.Integrity constraints in OWL ontologies based on grounded circumscription[J].Frontiers of Computer Science,2013,7(6):812-821. 被引量:2
-
6谢丽聪,俞建家,张莹.布尔查询的改写算法[J].福州大学学报(自然科学版),2004,32(4):457-461. 被引量:1
-
7Jin-ZhaoWu,HaraldFecher.逻辑程序中的对称结构[J].Journal of Computer Science & Technology,2004,19(C00):25-25.
-
8丁邡.基于本地封闭式世界假设的分布式系统事务模型[J].经济技术协作信息,2012(26):104-108.
-
9袁超,邵晨曦,白方周,杨明,王子才.基于组件连接的QSIM-CC建模系统[J].系统仿真学报,2008,20(3):553-556. 被引量:2
-
10朱朝晖,施庆生,朱梧槚.程序兼纳集:由力迫描述的中介逻辑程序语义[J].中国科学(E辑),1996,26(6):567-573. 被引量:1
;