扩展的三段论及自动推理
基本信息·出版社：科学技术文献出版社 ·出版日期：2009年03月 ·ISBN：9787502363185 ·条形码：9787502363185 ·版本：第1版 ·装帧：平装 ·图书品牌：北京人文在
扩展的三段论及自动推理作者： 张寅生著 出 版 社： 科技文献出版社 出版时间： 2009-3-1字数：版次： 1页数： 295印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787502363185包
基本信息·页码：295 页 ·出版日期：2009年03月 ·ISBN：7502363181 ·条形码：9787502363185 ·包装版本：1 ·装帧：平装 产品信息有问题吗？请帮我们更新产品
计算世界中的迷人国度：自动推理导读FASCINATING COUNTRY IN THE WORLD OF COMPUTING, A作者： Larry Wos 著 出 版 社： 东南大学出版社 出版时间： 1999-12-1字数：版次： 1页数： 587印刷时间： 2000/03/01开本：印次： 1纸张： 胶版纸I S B N
自动推理Automated reasoning作者： Rajeev Gore 著 出 版 社： 湖南文艺出版社 出版时间： 2001-12-1字数：版次： 1页数： 708印刷时间： 2001/08/01开本：印次：纸张： 胶版纸I S B N
自动推理Automated reasoning作者： Ulrich Furbach 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 680印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods作者： Pieter Adriaans著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 339印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B
人工智能、自动推理与符号计算 Artificial intelligence, automated reasoning, and symbolic computation作者： Jacques Calmet 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 341印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S
商品特性机箱档板位/ SATA硬盘高速阵列扩展卡/支持NORMAL/RAID 0/RAID 1/BIG/RAID 1 自动重建/免驱动程序，支持热插拔/软,硬件Raid管理 基本信息ASIN:B00
基本信息出版社:北京大学出版社; 第1版 (2010年6月20日)平装ISBN:9787301173428条形码:9787301173428ASIN:B003ULO5UC