计算机性能评价 Computational logic：Logic Programming and Beyond

计算机性能评价 Computational logic：Logic Programming and Beyond

作者： Antonis C.Kakas 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 975印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S

计算逻辑.逻辑程序设计及其它 第2卷Computational logic

作者： Antonis C. Kakas 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 628印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I

编程、人工智能与推理用逻辑Logic for programming, artificial intelligence, and reasoning

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

（计算反演问题中的优化与正则化方法及其应用）(国内英文版)Optimization and Regularization for Computational Inverse Problems and Applications

作者： 王彦飞，（俄）亚哥拉，杨长春主编 出 版 社： 高等教育出版社 出版时间： 2010-5-1字数： 620000版次： 1页数： 350印刷时间： 2010-5-1开本： 16开印次： 1纸张

Heats of Hydrogenation : Experimental And Computational Hydrogen Thermochemistry of Organic Compounds加氢反应的热量：有机化合物加氢热化学实验与计算

作者： Donald W. Rogers著 出 版 社： 出版时间： 2006-9-1字数：版次： 1页数： 222印刷时间： 2006/09/01开本： 16开印次： 1纸张： 胶版纸I S B N

高效计算模式及应用前沿ADVANCES IN THE EFFICIENCY OF COMPUTATIONAL METHODS AND APPLICATIONS

作者： Ioannis K. Argyros 编 出 版 社： Penguin 出版时间： 2000-12-1字数：版次： 1页数： 546印刷时间： 2000/07/01开本：印次： 1纸张： 胶

计算生物学及基因信息学COMPUTATIONAL BIOLOGY AND GENOME INFORMATICS

作者： Jason T L, Ed. Wang著 出 版 社： Pengiun Group (USA) 出版时间： 2003-12-1字数：版次： 1页数： 257印刷时间： 2003/02/01开本

现场可编程逻辑与应用Field-programmable logic and applications(现场可编程逻辑与应用－正成为主流的可重构计算/会议录)

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

逻辑程序设计/会议录Logic programming

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