书目详细信息
： 扩展的三段论及自动推理
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5023-6318-5:CNY56.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 扩展的三段论及自动推理/.张寅生著 |
| 出版发行项： | 北京:,科学技术文献出版社:,2009 |
| 载体形态项： | 295页:;+图, 肖像:;+24cm |
| 相关题名附注： | 英文题名取自封面 |
| 提要文摘： | 本书分为11章，主要内容包括：逻辑的本质与逻辑学的分类标准、亚里士多德三段论产生的背景和三段论研究的意义、亚里士多德三段论的特征、亚里士多德三段论的形式化、亚里士多德三段论面临的问题等。 |
| 并列题名： | Expanded syllogism and automatic reasoning eng |
| 个人主题： | 亚里士多德 三段论 研究 |
| 题名主题： | 推理 研究 |
| 中图分类： | B502.233 |
| 中图分类： | B812.23 |
| 个人名称等同： | 张寅生 著 |
| 记录来源： | CN CEPC 20100610 |