Logic Programming Synthesis and Transformation, 5 conf., L girro 2013年8月25日 13 阅读 0 评论 建筑学 Logic Programming Synthesis and Transformation, 5 conf., L Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95 by: Maurizio Proietti, Publisher: Springer (1996) Print length: 278 ISBN: 3540609393,9783540609391, Language: English 代发服务PDF电子书10元立即求助