Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开
¥616.50
Maurice Bruynooghe 著 /2004-08-01 /北京燕山出版社
收藏