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