扩展的三段论及自动推理
暂无封面,等待上传

扩展的三段论及自动推理

张寅生, 著

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

年代:2009

定价:35.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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