出版社:科学技术文献出版社
年代:2009
定价:35.0
本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
书籍详细信息 | |||
书名 | 扩展的三段论及自动推理站内查询相似图书 | ||
9787502363185 《扩展的三段论及自动推理》pdf扫描版电子书已有网友提供下载资源链接 | |||
出版地 | 北京 | 出版单位 | 科学技术文献出版社 |
版次 | 1版 | 印次 | 1 |
定价(元) | 35.0 | 语种 | 简体中文 |
尺寸 | 26 | 装帧 | 平装 |
页数 | 250 | 印数 | 5000 |
扩展的三段论及自动推理是科学技术文献出版社于2009.03出版的中图分类号为 B502.233 ,B812.23 的主题关于 亚里士多德(前384~前322)-三段论-研究 ,亚里士多德(前384~前322)-推理-研究 的书籍。