多类逻辑用于自动知识处理
出处
《微型计算机》
北大核心
1990年第2期46-48,共3页
MicroComputer
-
1康密军,李云情,宋长虹,魏志强.基于语义规则的普适计算隐私控制方法研究[J].中国海洋大学学报(自然科学版),2009,39(3):501-504.
-
2任南,张磊,边琳.基于本体的复杂产品项目WBS研究[J].计算机应用研究,2013,30(7):2061-2063. 被引量:5
-
3魏志强,康密军,贾东宁,殷波,周炜.普适计算隐私保护策略研究[J].计算机学报,2010,33(1):128-138. 被引量:25
-
4刘海燕,陈火旺,刘凤岐.一个用于异构的数据库集成的多context逻辑[J].软件学报,1997,8(9):687-693.
-
5田启家,史忠植.动作和进化的模型论基础[J].中国科学(E辑),1997,27(3):282-288. 被引量:1
-
6刘海燕,陈火旺,苏开乐.一个二阶的context逻辑[J].计算机学报,1998,21(4):341-347.
-
7徐丹.类型一阶逻辑的理论证明探讨[J].电脑知识与技术,2010,6(3):1657-1659.
;