【预订】Declarative Programming and Knowledge Management 9783030 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030467135 Format 版本 平装-胶订 Pages Number 页数 309页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 990g Language 语种 英语 Book Contents 内容简介 This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages
¥608.00
【预订】Declarative Programming for Knowledge Management: 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Declarative Programming and Knowledge Management 9783030 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030008000 Author 作者 Seipel Format 版本 平装-胶订 Pages Number 页数 215页 Publication Date 出版日期 2018-09-27 Language 语种 英语 Book Contents 内容简介 This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.
¥608.00
【预订】Declarative Programming, Sasbachwalden 1991: Phoenix Sem 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Declarative Programming and Knowledge Management [ISBN 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
海外直订Declarative Programming for Knowledge Management: 16th I
¥553.00
预订 Declarative Programming for Knowledge Management [ISBN:97 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
3-6周达 Declarative Programming and Knowledge Management [ISBN 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订Declarative Programming and Knowledge Management 声明式编程和知
¥534.00
3-6周达 Declarative Programming and Knowledge Management: Decl 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥486.00
海外直订Declarative Programming and Knowledge Management: Declar
¥592.00
海外直订Declarative Programming and Knowledge Management: Confer
¥639.00
海外直订Applications of Declarative Programming and Knowledge Ma
¥553.00
海外直订Applications of Declarative Programming and Knowledge Ma
¥553.00
【预订】Principles of Declarative Programming 9783540650126 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540650126 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 504页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-09-02 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP’98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP’98, in Pisa, Italy, in September 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogrammin
¥608.00
【预订】Applications of Declarative Programming and Knowledge Ma 美国库房发货，通常付款后3-5周到货！
¥608.00
【3-6周达】Applications of Declarative Programming and Knowledge 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
【预订】Applications of Declarative Programming and Knowledge Ma 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540255604 Author 作者 Seipel Format 版本 平装-胶订 Pages Number 页数 315页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-04-04 Language 语种 英语 Book Contents 内容简介 This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This specication method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The
¥608.00
3-6周达 Deductive and Declarative Programming [ISBN:9780521032 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥502.00
【预订】Applications of Declarative Programming and 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 Applications of Declarative Programming and Knowledge Man 【全球购】进口原版图书，一般5-8周左右到国内
¥643.00
海外直订Applications of Declarative Programming and Knowledge Ma
¥553.00
3-6周达 Applications of Declarative Programming and Knowledge 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Applications of Declarative Programming and Knowledge Ma 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642205880 Author 作者 Abreu Format 版本 平装-胶订 Pages Number 页数 239页 Publication Date 出版日期 2011-04-27 Shipping Weight 商品重量 369g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held in?vora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic solvers in the internet society, its underlyingtechnologies, and leading edge applications in industry, commerce,government, and societal services. The topics of the selected papersconcentrate on three currently important fields: foundation
¥608.00
【3-6周达】Applications of Declarative Programming and Knowledge 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Applications of Declarative Programming and Knowledge Ma
¥553.00
【预订】Deductive and Declarative Programming 美国库房发货，通常付款后3-5周到货！
¥547.00
3-6周达 Analysis, Verification and Transformation for Declarat 【全球购】进口原版图书，预计3-6周左右到国内
¥1243
海外直订Set Theory for Computing: From Decision Procedures to De
¥1550
海外直订Analysis, Verification and Transformation for Declarativ
¥1343
海外直订Set Theory for Computing: From Decision Procedures to De
¥1550
海外直订Principles and Practice of Declarative Programming: Inte
¥553.00
【预订】Principles and Practice of Declarative Programming 97835 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540665403 Author 作者 dathur Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-09-15 Language 语种 英语
¥608.00
【预订】Ppdp 12 Proceedings of the 2012 ACM Sigplan Principles a 美国库房发货，通常付款后3-5周到货！
¥864.00
【预订】Set Theory for Computing: From Decision Procedures to De 美国库房发货，通常付款后3-5周到货！
¥1825
【预售 按需印刷】Declarative Logic Programming
¥1259
【预售 按需印刷】Declarative Logic-Programming Components 北京发货，付款后10天内发货
¥549.00
【预售 按需印刷】Declarative Logic Programming
¥1260.55
海外直订Declarative Logic Programming: Theory, Systems, and Appl
¥1425
海外直订Declarative Logic Programming: Theory, Systems, and Appl
¥1187
预订 Declarative Logic Programming: Theory, Systems, and Appli 【全球购】进口原版图书，一般5-8周左右到国内
¥1172
预订 Declarative Logic-Programming Components for Information 【全球购】进口原版图书，一般5-8周左右到国内
¥2211
按需印刷Declarative Logic Programming 预订，预计下单后2-3周左右发货！
¥1259
预订 Declarative Logic Programming: Theory, Systems, and Appli 【全球购】进口原版图书，一般5-8周左右到国内
¥1406
海外直订Declarative Logic-Programming Components for Information
¥2292
按需印刷Declarative Logic Programming 预订，预计下单后2-3周左右发货！
¥1483
【预订】Declarative Logic-Programming Components for Information 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783838662527 Author 作者 Fink Format 版本 平装-胶订 Pages Number 页数 336页 Publisher 出版社 Diplom.de Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 8.27 x 5.83 x 0.75 Shipping Weight 商品重量 0.97 Language 语种 其它（含多语）
¥566.00
预订 The Declarative Mind: Programming Without How: 9798301187 国外库房发货，通常付款后3-5周到货
¥339.00
预订Deductive and Declarative Programming 预订，预计下单后2-3周左右发货！
¥661.00
宣告式编程与知识管理的应用/会议论文集 Applications of Declarative Programming
¥477.30
