Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开
¥616.50
Maurice Bruynooghe 著 /2004-08-01 /北京燕山出版社
收藏
Machines, Computations, and Universality机器、计算与普遍性/会议文集
¥477.30
Maurice Margenstern 著 /2005-04-01 /北京燕山出版社