【预订】Logic Programming and Automated Reasoning 9783540664925 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540664925 Author 作者 Ganzinger Format 版本 平装-胶订 Pages Number 页数 404页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-08-25 Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR’99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR’99. Each of the submissions was reviewed by three program committee members and an electronic program com? mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR’99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a ve
¥608.00
【预订】Logic Programming 9783540899815 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540899815 Author 作者 Maria Garcia Banda Monash University Clayton School of Info Format 版本 平装-胶订 Pages Number 页数 826页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-02 Shipping Weight 商品重量 1276g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they
¥1217
【预订】Logic Programming and Nonmonotonic Reasoning 97835406325 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540632559 Author 作者 Furbach Ulrich Format 版本 平装-胶订 Pages Number 页数 461页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-07-02 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR ’97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system deions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning 97835402853 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540285380 Author 作者 Baral Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-08-25 Language 语种 英语 Book Contents 内容简介 Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more.
¥608.00
【预订】Logic Programming 9783540439301 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540439301 Author 作者 Stuckey Format 版本 平装-胶订 Pages Number 页数 486页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-17 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.
¥608.00
【预订】Logic Programming 9783540292081 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540292081 Author 作者 Gabbrielli Format 版本 平装-胶订 Pages Number 页数 458页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 Constitutes the proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Spain, in October 2005. These papers cover various issues of research in logic programming, and focus on novel applications of logic programming.
¥608.00
【预订】Logic Programming 9783540429357 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540429357 Author 作者 Codognet Format 版本 平装-胶订 Pages Number 页数 368页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-11-14 Language 语种 英语 Book Contents 内容简介 These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. All current aspects of logic programming and computational logics are addressed.
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning: 14th Inter 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Logic Programming 9783642028458 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642028458 Author 作者 Patricia M. Hill Leeds UK Format 版本 平装-胶订 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-06-24 Shipping Weight 商品重量 884g Language 语种 英语
¥608.00
【预售 按需印刷】 Logic Programming 北京直发，付款后10天内发货
¥954.00
【预售 按需印刷】 Logic Programming Languages 北京直发，付款后10天内发货
¥289.00
【预订】Logic Programming 9783540366355 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540366355 Author 作者 Etalle Format 版本 平装-胶订 Pages Number 页数 474页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-08-03 Language 语种 英语 Book Contents 内容简介 This volume presents 20 revised full papers and 6 application papers together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles.
¥608.00
【预订】Logic Programming: A Classified Bibliography 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Logic Programming and Nonmonotonic Reasoning 97836422089 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642208942 Author 作者 Delgrande Format 版本 平装-胶订 Pages Number 页数 406页 Publication Date 出版日期 2011-05-02 Shipping Weight 商品重量 646g Language 语种 英语 Book Contents 内容简介 This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada.The 16 revised full papers (13 technical papers, 1 application de*ion, and 2 system de*ions) and 26 short papers (16 technical papers, 3 application de*ion, and 7 system de*ions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practition
¥608.00
【预售 按需印刷】 Logic Programming 北京直发，付款后10天内发货
¥1103
【预订】Logic Programming and Nonmonotonic Reasoning 97835404259 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540425939 Author 作者 Eiter Format 版本 平装-胶订 Pages Number 页数 454页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-09-05 Language 语种 英语
¥608.00
【预订】Logic Programming New Frontiers 9789401051316 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Logic Programming 9783540226710 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540226710 Author 作者 Demoen Format 版本 平装-胶订 Pages Number 页数 484页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-08-24 Language 语种 英语
¥608.00
【预订】Logic Programming and Databases 9783642839542 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642839542 Author 作者 Ceri Format 版本 平装-胶订 Pages Number 页数 284页 Publisher 出版社 Springer Publication Date 出版日期 2011-12-15 Product Dimensions 商品尺寸 9.5 x 6.8 x 0.6 cm Language 语种 英语 Book Contents 内容简介 The topic of logic programming and databases. has gained in? creasing interest in recent years. Several events have marked the rapid evolution of this field: the selection, by the Japanese Fifth Generation Project, of Prolog and of the relational data model as the basis for the development of new machine archi? tectures; the focusing of research in database theory on logic queries and on recursive query processing; and the pragmatic, application-oriented development of expert database systems and of knowledge-base systems. As a result, an enormous amount of work has been produced in the recent literature, coupled with the spontaneo
¥913.00
【预订】Logic Programming and Nonmonotonic Reasoning 97835402072 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540207214 Author 作者 Lifschitz Format 版本 平装-胶订 Pages Number 页数 370页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-12-09 Language 语种 英语
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning 97836424056 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning 97835407219 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540721994 Author 作者 Chitta Baral Format 版本 平装-胶订 Pages Number 页数 327页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-04-27 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007.
¥608.00
【预订】Logic Programming 9783540746089 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540746089 Author 作者 Verónica Dahl Format 版本 平装-胶订 Pages Number 页数 472页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-08-28 Language 语种 英语 Book Contents 内容简介 The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
¥608.00
【预订】Logic Programming and Knowledge Representation 978354064 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540649588 Author 作者 Moniz Pereira Luis Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-08-26 Language 语种 英语 Book Contents 内容简介 This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR’97, held in Port Jefferson, NY, USA, in October 1997.The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning 97830302052 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030205270 Author 作者 Marcello Balduccini Format 版本 平装-胶订 Pages Number 页数 348页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-05-12 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1150g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions. The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems.
¥608.00
【预订】Logic Programming 9783540206422 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540206422 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 524页 Publication Date 出版日期 2003-11-25 Language 语种 英语
¥1460
【预订】Logic Programming: The 11th International Conference 美国库房发货，通常付款后3-5周到货！
¥1305
【预订】Logic Programming: The 1999 International 美国库房发货，通常付款后3-5周到货！
¥1565
【预订】Logic Programming with PROLOG 美国库房发货，通常付款后3-5周到货！
¥486.00
【预订】Logic Programming: Operational Semantics and Proof 美国库房发货，通常付款后3-5周到货！
¥400.00
【预售 按需印刷】 Logic Programming 北京直发，付款后10天内发货
¥761.00
【预订】Logic Programming: The 1997 International Symposium 美国库房发货，通常付款后3-5周到货！
¥1706
【预订】Logic Programming and Nonmonotonic Reasoning 97835406674 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540667490 Author 作者 Gelfond Format 版本 平装-胶订 Pages Number 页数 396页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-11-11 Language 语种 英语
¥608.00
【预订】Logic Programming and Nonmonotonic Reasoning 97836420423 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642042379 Author 作者 Esra Erdem Sabanci University Istanbul Turkey Format 版本 平装-胶订 Pages Number 页数 656页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-07 Shipping Weight 商品重量 1021g Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPN
¥1217
【预订】Logic Programming, Knowledge Representation, and Nonmono 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642208317 Author 作者 Balduccini Format 版本 平装-胶订 Pages Number 页数 513页 Publication Date 出版日期 2011-05-13 Shipping Weight 商品重量 801g Language 语种 英语 Book Contents 内容简介 This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.
¥608.00
3-6周达 Logic Programming and Nonmonotonic Reasoning: 12th Int 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Logic Programming: Proceedings of the 1999 International
¥1254
3-6周达 Logic Programming: 20th International Conference, Iclp 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥650.00
海外直订Logic Programming, Knowledge Representation, and Nonmono
¥553.00
¥553.00
3-6周达 Logic Programming and Nonmonotonic Reasoning: 6th Inte 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥649.00
海外直订Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理
¥1193
3-6周达 Logic Programming and Nonmonotonic Reasoning: 15th Int 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
海外直订Logic Programming and Nonmonotonic Reasoning: Fourth Int
¥553.00
【预订】The Logic Programming Tutor 美国库房发货，通常付款后3-5周到货！
¥1825
海外直订Logic Programming and Automated Reasoning: 4th Internati
¥553.00
【3-6周达】Logic Programming and Nonmonotonic Reasoning: 9th Int 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Logic Programming: 21st International Conference, Iclp 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥649.00
【3-6周达】Logic Programming: 25th International Conference, Icl 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Logic Programming - New Frontiers 逻辑编程-新领域
¥1137
海外直订Logic Programming and Nonmonotonic Reasoning: 9th Intern
¥534.00
【预订】The Logic Programming Paradigm 9783642642494 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642642494 Author 作者 Apt Format 版本 平装-胶订 Pages Number 页数 456页 Publication Date 出版日期 2011-09-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Shipping Weight 商品重量 1470g Language 语种 英语 Book Contents 内容简介 Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the ’formulas as types’ approach, program semantics and analysis, and natural language processing. The contributors a
¥1217
海外直订Logic Programming: 17th International Conference, Iclp 2
¥553.00
海外直订Logic Programming: Operational Semantics and Proof Theor
¥543.00
【3-6周达】Logic Programming and Nonmonotonic Reasoning [ISBN:97 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
预订 Logic Programming: 18th International Conference, Iclp 20 【全球购】进口原版图书，一般5-8周左右到国内
¥650.00
海外直订Logic Programming and Nonmonotonic Reasoning: 7th Intern
¥553.00
海外直订Logic Programming: 25th International Conference, Iclp 2
¥553.00
海外直订Logic Programming and Nonmonotonic Reasoning: Third Inte
¥553.00
海外直订Logic Programming and Automated Reasoning: 6th Internati
¥553.00
