江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录



MARC状态:审校  文献类型:中文图书 浏览次数:24 

题名/责任者:
扩展的三段论及自动推理/张寅生著
出版发行项:
北京:科学技术文献出版社,2009
ISBN及定价:
978-7-5023-6318-5/CNY56.00
载体形态项:
295页:图;24cm
并列正题名:
Expanded syllogism and automatic reasoning
个人责任者:
张寅生
个人名称主题:
亚里士多德-三段论-研究
个人名称主题:
亚里士多德-推理-研究
学科主题:
哲学家-推理-研究-古希腊
中图法分类号:
B502.233
中图法分类号:
B812.23
一般附注:
中国博士后基金会资助 中国科学技术信息研究所知识组织与知识工程重点学科研究项目 中国科学技术信息研究所全额资助出版
相关题名附注:
英文并列题名取自封面
书目附注:
有书目
提要文摘附注:
本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 定位信息 书刊状态
B502.233/16 A1355165  - 社科典藏库(5楼)     导航 可借
B502.233/16 A1355166  - 社科借阅1(A-C/E-G)(301-302室)     导航 可借
B502.233/16 A1355167  - 社科借阅1(A-C/E-G)(301-302室)     导航 可借
显示全部馆藏信息
借阅趋势

您可能感兴趣的图书(点击查看)
同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架