MARC状态:审校 文献类型:中文图书 浏览次数:24
- 题名/责任者:
- 扩展的三段论及自动推理/张寅生著
- 出版发行项:
- 北京:科学技术文献出版社,2009
- ISBN及定价:
- 978-7-5023-6318-5/CNY56.00
- 载体形态项:
- 295页:图;24cm
- 个人责任者:
- 张寅生 著
- 个人名称主题:
- 亚里士多德-三段论-研究
- 个人名称主题:
- 亚里士多德-推理-研究
- 学科主题:
- 哲学家-推理-研究-古希腊
- 中图法分类号:
- B502.233
- 中图法分类号:
- B812.23
- 一般附注:
- 中国博士后基金会资助 中国科学技术信息研究所知识组织与知识工程重点学科研究项目 中国科学技术信息研究所全额资助出版
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目
- 提要文摘附注:
- 本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
全部MARC细节信息>>