计算逻辑.逻辑程序设计及其它 第2卷Computational logic
计算逻辑.逻辑程序设计及其它 第2卷Computational logic作者： Antonis C. Kakas 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 628印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I
计算机性能评价 Computational logic：Logic Programming and Beyond作者： Antonis C.Kakas 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 975印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S
计算逻辑.逻辑程序设计及其它 第1卷Computer performance evaluation作者： A.C. Kakas 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 678印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N
作者： 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次：页数：印刷时间：开本：印次：纸张：I S B N ： 9783540435396包装：
计算逻辑约束：理论与应用Constraints in computational logics(计算逻辑约束：理论与应用)作者： Hubert Comon 著 出 版 社： 湖南文艺出版社 出版时间： 2001-12-1字数：版次： 1页数： 309印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
计算机科学逻辑： 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
现场可编程逻辑与应用Field-programmable logic and applications(现场可编程逻辑与应用－正成为主流的可重构计算/会议录)作者： Manfred Glesner 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 1187印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I
Logic and structure逻辑和结构作者： Dirk van Dalen著 出 版 社： 北京燕山出版社 出版时间： 2008-9-1字数：版次： 1页数： 263印刷时间： 2008/09/01开本： 32开印次： 1纸张： 胶版纸I
计算可交换的代数 Computational commutative algebra 1作者： Martin Kreuzer，Lorenzo Robbiano著 出 版 社： 出版时间： 2008-8-1字数：版次：页数： 321印刷时间： 2008/08/01开本： 16开印次：纸张：
百态 2023-10-24
百态 2023-09-13
探索 2023-09-06
百态 2023-09-06
百态 2023-08-20
干货 2023-08-06
百态 2023-08-04
百态 2023-07-31
百态 2023-07-25
探索 2023-07-21
探索 2023-07-09
探索 2023-07-02
百态 2020-08-20
百态 2020-05-09
干货 2020-04-30
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
干货 2019-11-12
