1993年第4卷第4期目录
自动并行编译的新进展朱根江,谢立,孙钟秀1993,4(4):1-7 [摘要(3977)] [PDF(5599)533.61 K][HTML(0)]一种扩展图重写模型下函数语言惰性模式匹配的实现方法周光明,王鼎兴1993,4(4):8-14 [摘要(3657)] [PDF(5071)443.75 K][HTML(0)]非单调性和不一致性的处理——一个基于线性逻辑的方法黄林鹏,孙永强1993,4(4):15-19 [摘要(3726)] [PDF(4770)321.80 K][HTML(0)]面向目标的最佳α—β搜索策略及其在博弈问题中的应用张幸儿,潘征宇1993,4(4):20-25 [摘要(4102)] [PDF(4958)393.12 K][HTML(0)]数据库设计工具集DBTOOLS的设计杨冬青,唐世渭;1993,4(4):26-31 [摘要(8621)] [PDF(5058)425.83 K][HTML(0)]Petri网用于Horn子句的逻辑推论林闯1993,4(4):32-37 [摘要(3889)] [PDF(4757)365.13 K][HTML(0)]加速定理与函数分层徐书润,王永革1993,4(4):38-43 [摘要(3745)] [PDF(5083)353.57 K][HTML(0)]陶瓷品的计算机造型和花面设计系统余成,周琪云,常晓虹1993,4(4):44-50 [摘要(4114)] [PDF(4947)446.47 K][HTML(0)]NL:松弛时序逻辑自然推理系统何锫,唐稚松1993,4(4):51-55 [摘要(2201)] [PDF(3957)278.79 K][HTML(0)]一个基于信息论的示例学习方法钟鸣,陈文伟,张凯慈1993,4(4):56-60 [摘要(3833)] [PDF(4825)342.54 K][HTML(0)]一个求图的连通分支的并行算法唐策善,梁维发1993,4(4):61-66 [摘要(4798)] [PDF(5292)708.20 K][HTML(0)]
