【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540305538 Author 作者 Sutcliffe Format 版本 平装-胶订 Pages Number 页数 744页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-11-24 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
¥1217
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642175107 Author 作者 Clarke Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-01-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540894384 Author 作者 Iliano Cervesato Carnegie Mellon University School of Compu Format 版本 平装-胶订 Pages Number 页数 714页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-11-13 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints,
¥1217
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540482819 Author 作者 Hermann Format 版本 平装-胶订 Pages Number 页数 592页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-23 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
¥1217
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540000105 Author 作者 Baaz Format 版本 平装-胶订 Pages Number 页数 470页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-02 Language 语种 英语 Book Contents 内容简介 Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540252368 Author 作者 Baader Format 版本 平装-胶订 Pages Number 页数 560页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-07 Language 语种 英语
¥1217
【预订】Logic for Programming, Artificial Intelligence, and Reas 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783662488980 Author 作者 Davis Format 版本 平装-胶订 Pages Number 页数 640页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2015-12-03 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 991g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. The series of International Conferences on Logic for Programming,Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,some of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programm
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642287169 Author 作者 Bj?rner Format 版本 平装-胶订 Pages Number 页数 446页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-02-24 Shipping Weight 商品重量 647g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool deions and experimental papers presented were carefully reviewed and selected from 74 submissions.The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present c
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540755586 Author 作者 Nachum Dershowitz Tel Aviv University School of Computer Sc Format 版本 平装-胶订 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-10-08 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642162411 Author 作者 Fermüller Format 版本 平装-胶订 Pages Number 页数 656页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-09-27 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.
¥1217
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540201014 Author 作者 Vardi Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-12 Language 语种 英语
¥608.00
【预订】Logic for Programming, Artificial Intelligence, and Reas 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540429579 Author 作者 Nieuwenhuis Format 版本 平装-胶订 Pages Number 页数 741页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-11-21 Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Articial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 belonged to the special subm- sion category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The high number of submission
¥1217
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥1033
【3-6周达】Logic for Programming, Artificial Intelligence, and R 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥1193
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥1193
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥1033
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥553.00
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书，一般5-8周左右到国内
¥1286
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1279
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥553.00
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥553.00
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥648.00
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥651.00
【3-6周达】Logic for Programming, Artificial Intelligence, and R 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1010
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书，一般5-8周左右到国内
¥1286
3-6周达 Logic for Programming, Artificial Intelligence, and Re 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥553.00
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥588.00
海外直订Logic for Programming, Artificial Intelligence, and Reas
¥553.00
海外直订医药图书Logic for Programming, Artificial Intelligence, and
¥1033
Logic for Programming, Artificial Intelligence, and Reasonin
¥537.00
Logic for Programming, Artificial Intelligence, and Reasonin
¥676.20
Logic for Programming, Artificial Intelligence, and Reasonin
¥269.90
Logic for Programming, Artificial Intelligence, and Reasonin
¥835.30
编程、人工智能与推理用逻辑Logic for programming, artificial intelligence,
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥642.70定价：¥813.60 (7.9折)
