构造谓词变迁网说明的方法
出处
《软件》
北大核心
1992年第2期159-184,共26页
Software
-
1贠东风.一些实用Turbo PROLOG表处理谓词及其实现[J].微电子学与计算机,1992,9(8):36-39.
-
2陈忱.SQL谓词下压的优化[J].信息与电脑,2016,28(14):58-60.
-
3胡述印,王坤,黎钜鲇.流行音乐辅助学习专家系统[J].河南师范大学学报（自然科学版）,1989,17(2):70-75. 被引量：1
-
4张师超.基于谓词的历史数据库[J].计算机科学,1996,23(3):25-27.
-
5张明德,郑雪峰,吕述望,张清国.应用系统中身份认证建模及推理方法[J].小型微型计算机系统,2012,33(4):754-758. 被引量：4
-
6曾湘燕,陶文祥.一种将常量进行变量化的方法[J].微电子学与计算机,1996,13(5):53-54.
-
7徐彤,雷英杰,谢波,李松.Visual Prolog确定性管理机制剖析[J].计算机工程,2005,31(22):192-193.
-
8李永锋.XML数据流系统的小枝模式过滤算法[J].计算机工程,2010,36(9):50-52. 被引量：3
-
9王帆,梁洪峻.基于UML的形式化规范说明研究[J].微处理机,2004,25(1):44-46. 被引量：2
-
10陈蕊,张广梅,李晓维.程序中不可达路径的检测方法[J].计算机工程,2006,32(16):86-88. 被引量：7
;
