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