智能技术与系统基础PDF电子书下载

人工智能——它的成就与困难 张钹 1

定理机器证明与自动推理 刘叙华 30

软件生产自动化 徐家福杨芙清 67

自然语言处理与自动文摘 马希文等 99

专家系统和专家系统的开发环境 何志钧等 118

智能CAD综述 石教英等 172

人工智能在仿真和决策支持系统中的应用 汪成为 202

PROLOG与PROLOG机 王朴 216

函数程序设计语言的图归约实现方法与技术 王鼎兴等 253

LISP语言与LISP机 王纶 330

脉动阵列——专用巨型机 于士齐 377

分布式操作系统 孙钟秀 406

模糊集合论在人工智能中的应用 蔡愉祖 428

人工智能与逻辑学 陈火旺 459

并行组合搜索 李国杰 488