扩展的三段论及自动推理

扩展的三段论及自动推理

张寅生, 著

出版社:科学技术文献出版社

年代:2009

定价:35.0

书籍简介:

本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。

书籍规格:

书籍详细信息
书名扩展的三段论及自动推理站内查询相似图书
9787502363185
《扩展的三段论及自动推理》pdf扫描版电子书已有网友提供下载资源链接
出版地北京出版单位科学技术文献出版社
版次1版印次1
定价(元)35.0语种简体中文
尺寸26装帧平装
页数 250 印数 5000

书籍信息归属:

扩展的三段论及自动推理是科学技术文献出版社于2009.03出版的中图分类号为 B502.233 ,B812.23 的主题关于 亚里士多德(前384~前322)-三段论-研究 ,亚里士多德(前384~前322)-推理-研究 的书籍。