大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 自动推理导论
名称 自动推理导论
索引号 100186
分类号
(| 08 环境公报)
作者 邱玉辉、张为群、
出版社 北京 : 电子科技大学出版社, 1992
ISBN 7-81016-330-2
页数 216磁 ; 19cm
价格 CNY4.00
标签
简介
注解 本书介绍 了自动定理证明，解单调推理、概率推理和模糊推理，以及自动推理系统・