基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation

基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation

作者： Alberto Pettorossi著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 265印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I

基于知识的智能信息与工程系统： KES 2006/会议录 第II部分 Knowledge-based

作者： Bogdan Gabrys，Robert J. Howlett， Lakhmi C. Jain 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 13

基于实例的推理研究与发展Case-based reasoning research and development

作者： David W. Aha著 出 版 社： 湖南文艺出版社 出版时间： 2001-12-1字数：版次： 1页数： 758印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

自适应超媒体与自适应网基系统/会议录 Adaptive hypermedia and adaptive Web-based systems

作者： Paul De Bra著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 615印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

基于知识的智能信息与工程系统： KES 2006/会议录 第III部分Knowledge-based intelligent information and engineering systems

作者： Bogdan Gabrys 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 1301印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

基于知识的智能信息与工程系统： KES 2006/会议录 第I部分/Knowledge-based intelligent information and engineering systems

作者： Bogdan Gabrys 等著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 1297印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

计算机科学逻辑： CSL 2006/会议录Computer science logic

作者： Zoltán Ésik 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 626印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I

计算机科学逻辑／会议录Computer science logic

作者： Julian Bradfield著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 610印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

The Brain Trust Program: A Scientifically Based Three-Part Plan to Improve Memory, Elevate Mood, EnhanceAttention, Alleviate Migraine and Menopausal Symptoms, and Boost Mental (平装)

基本信息出版社:Perigee Trade (2008年9月2日)平装:288页正文语种:英语ISBN:0399534547条形码:9780399534546产品尺寸及重量:21.6 x 15 x 2

量子、逻辑与时空 QUANTA, LOGIC AND SPACETIME (2ND EDITION)

作者： S. A. Selesnick著 出 版 社： Penguin 出版时间： 2003-12-1字数：版次： 1页数： 464印刷时间： 2003/11/01开本：印次： 1纸张： 胶版纸I S