人工智能——它的成就与困难 张钹 1
定理机器证明与自动推理 刘叙华 30
软件生产自动化 徐家福杨芙清 67
自然语言处理与自动文摘 马希文等 99
专家系统和专家系统的开发环境 何志钧等 118
智能CAD综述 石教英等 172
人工智能在仿真和决策支持系统中的应用 汪成为 202
PROLOG与PROLOG机 王朴 216
函数程序设计语言的图归约实现方法与技术 王鼎兴等 253
LISP语言与LISP机 王纶 330
脉动阵列——专用巨型机 于士齐 377
分布式操作系统 孙钟秀 406
模糊集合论在人工智能中的应用 蔡愉祖 428
人工智能与逻辑学 陈火旺 459
并行组合搜索 李国杰 488