【预订】Constraints in Computational Logics: Theory and Applicat 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540419501 Author 作者 Comon Format 版本 平装-胶订 Pages Number 页数 316页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-04-18 Language 语种 英语 Book Contents 内容简介 Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999.
¥608.00
海外直订Constraints in Computational Logics: First International
¥553.00
3-6周达 Constraints in Computational Logics: Theory and Applic 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥643.00
海外直订Constraints in Computational Logics: Theory and Applicat
¥553.00
计算逻辑约束：理论与应用Constraints in computational logics(计算逻辑约束：理论与应用
¥448.70定价：¥598.34 (7.5折)
