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