潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

自动推理导论/邱玉辉,张为群编著

出版发行项:

成都:电子科技大学出版社,1992.6

ISBN及定价:

7-81016-330-2/$4.00

载体形态项:

216页;20cm

编目员补充题名:

自动推理

个人责任者:

邱玉辉 编著

个人责任者:

张为群 编著

学科主题:

推理-数理逻辑

学科主题:

数理逻辑-推理

中图法分类号:

O141

中图法分类号:

TP18

科图法分类号:

51.3

提要文摘附注:

本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。

豆瓣简介：