扩展的三段论及自动推理

来源:王朝搜索

01.扩展的三段论及自动推理
基本信息·出版社：科学技术文献出版社·出版日期：2009年03月·ISBN：9787502363185·条形码：9787502363185·版本：第1版·装帧：平装·图书品牌：北京人文在线产品信息有问题吗？请帮我们更新产品信息。...查看完整版>>扩展的三段论及自动推理

02.扩展的三段论及自动推理

作者：张寅生著出版社：科技文献出版社出版时间： 2009-3-1字数：版次： 1页数： 295印刷时间：开本： 16开印次： 1纸张：I S B N ： 9787502363185包装：平装...查看完整版>>扩展的三段论及自动推理

03.扩展的三段论及自动推理
基本信息·页码：295 页·出版日期：2009年03月·ISBN：7502363181·条形码：9787502363185·包装版本：1·装帧：平装产品信息有问题吗？请帮我们更新产品信息。...查看完整版>>扩展的三段论及自动推理

04.计算世界中的迷人国度：自动推理导读FASCINATING COUNTRY IN THE WORLD OF COMPUTING, A

作者： Larry Wos 著出版社：东南大学出版社出版时间： 1999-12-1字数：版次： 1页数： 587印刷时间： 2000/03/01开本：印次： 1纸张：胶版纸I S B N ： 9789810239107包装：精装内容简介This book shows y...查看完整版>>计算世界中的迷人国度：自动推理导读FASCINATING COUNTRY IN THE WORLD OF COMPUTING, A

05.自动推理Automated reasoning

作者： Rajeev Gore 著出版社：湖南文艺出版社出版时间： 2001-12-1字数：版次： 1页数： 708印刷时间： 2001/08/01开本：印次：纸张：胶版纸I S B N ： 9783540422549包装：平装内容简介This book constit...查看完整版>>自动推理Automated reasoning

06.自动推理Automated reasoning

作者： Ulrich Furbach 著出版社：湖北辞书出版社出版时间： 2006-12-1字数：版次： 1页数： 680印刷时间： 2006/12/01开本：印次：纸张：胶版纸I S B N ： 9783540371878包装：平装编辑推荐The LNAI serie...查看完整版>>自动推理Automated reasoning

07.用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods

作者： Pieter Adriaans著出版社：湖南文艺出版社出版时间： 2002-12-1字数：版次： 1页数： 339印刷时间： 2002/12/01开本：印次：纸张：胶版纸I S B N ： 9783540439295包装：平装编辑推荐LNBI is devoted...查看完整版>>用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods

08.人工智能、自动推理与符号计算 Artificial intelligence, automated reasoning, and symbolic computation

作者： Jacques Calmet 著出版社：湖南文艺出版社出版时间： 2002-12-1字数：版次： 1页数： 341印刷时间： 2002/12/01开本：印次：纸张：胶版纸I S B N ： 9783540438656包装：平装编辑推荐The LNAI serie...查看完整版>>人工智能、自动推理与符号计算 Artificial intelligence, automated reasoning, and symbolic computation

09.orico CAS3922-S2R机箱档板位/ SATA硬盘高速阵列扩展卡/支持NORMAL/RAID 0/RAID 1/BIG/RAID 1 自动重建/免驱动程序，支持热插拔/软,硬件Raid管理
商品特性机箱档板位/ SATA硬盘高速阵列扩展卡/支持NORMAL/RAID 0/RAID 1/BIG/RAID 1 自动重建/免驱动程序，支持热插拔/软,硬件Raid管理基本信息ASIN:B005OFI6SO商品描述机箱档板位/ SATA硬盘高速阵列扩展卡/支持NORM...查看完整版>>orico CAS3922-S2R机箱档板位/ SATA硬盘高速阵列扩展卡/支持NORMAL/RAID 0/RAID 1/BIG/RAID 1 自动重建/免驱动程序，支持热插拔/软,硬件Raid管理

10.司法三段论的结构