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