MARC状态:已编 文献类型:中文图书 浏览次数:67
- 题名/责任者:
- 当代形式逻辑及其在人工智能中的应用理论研究/龚启荣等著
- 出版发行项:
- 北京:电子工业出版社,2011
- ISBN及定价:
- 978-7-121-12407-5/CNY58.00
- 载体形态项:
- 42, 435页:图;24cm
- 个人责任者:
- 龚启荣 著
- 学科主题:
- 形式逻辑-研究
- 学科主题:
- 形式逻辑-应用-人工智能-研究
- 中图法分类号:
- B812
- 中图法分类号:
- TP18
- 一般附注:
- 教育部人文社会科学“当代形式逻辑及其在人工智能中的应用理论研究”项目成果 批准号: 07JA720006
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书分为五篇,包括:导论、逻辑思考、当代形式逻辑Cm系统、当代形式逻辑名词演算Cn系统、人工智能机器推理和知识表示的逻辑理论工具探讨。
全部MARC细节信息>>