【预订】Artificial Intelligence and Symbolic Computation 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540232124 Author 作者 Buchberger Format 版本 平装-胶订 Pages Number 页数 294页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-10 Language 语种 英语
¥608.00
【预订】Artificial Intelligence and Symbolic Computation 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540420712 Author 作者 Campbell Format 版本 平装-胶订 Pages Number 页数 258页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-04-25 Language 语种 英语
¥608.00
【预订】Artificial Intelligence and Symbolic Computation 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540649601 Author 作者 Calmet Format 版本 平装-胶订 Pages Number 页数 316页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-09-02 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC’98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.
¥608.00
【预订】Artificial Intelligence and Symbolic Computation 9783540 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540397281 Author 作者 Calmet Format 版本 平装-胶订 Pages Number 页数 269页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-13 Language 语种 英语
¥608.00
【预订】Artificial Intelligence and Symbolic Computation 9783319 美国库房发货，通常付款后3-5周到货！
¥583.00
【预订】Artificial Intelligence and Symbolic Computation 9783319 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319999562 Author 作者 Fleuriot Format 版本 平装-胶订 Publication Date 出版日期 2018-08-22 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
¥608.00
现货 Artificial Intelligence and Symbolic Computation:Internat 进口原版，现货速发
¥627.00
预订 Artificial Intelligence and Symbolic Computation [ISBN:97 【全球购】进口原版图书，约3-6周到达国内后发出
¥554.00
3-6周达 Artificial Intelligence and Symbolic Computation [ISBN 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Artificial Intelligence and Symbolic Computation: 12th In 【全球购】进口原版图书，约3-6周到达国内后发出
¥535.00
海外直订Artificial Intelligence and Symbolic Computation: 12th I
¥592.00
预订 Artificial Intelligence and Symbolic Computation: 7th Int 【全球购】进口原版图书，一般5-8周左右到国内
¥642.00
海外直订Artificial Intelligence and Symbolic Computation: 13th I
¥553.00
海外直订Artificial Intelligence and Symbolic Computation: 8th In
¥553.00
海外直订Artificial Intelligence and Symbolic Computation: Intern
¥553.00
海外直订Artificial Intelligence and Symbolic Computation: 7th In
¥553.00
海外直订Artificial Intelligence and Symbolic Mathematical Comput
¥553.00
海外直订Artificial Intelligence, Automated Reasoning, and Symbol
¥553.00
海外直订Integrating Symbolic Mathematical Computation and Artifi
¥553.00
Artificial Intelligence and Symbolic Computation(人工智能与符号计算/会
¥447.50
Artificial Intelligence and Symbolic Computation人工智能和符号计算
¥209.60
人工智能和符号计算/ Artificial intelligence and symbolic computation
The LNAI series reports state-of-the-art results in artificial intelligence re-search, 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, LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelli- gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. proceedings (published in time for the respective conference)； post-proceedings (consisting of thoroughly revised final full papers)； research monographs (which may be based on PhD work).
¥401.70定价：¥508.50 (7.9折)
人工智能、自动推理与符号计算 Artificial intelligence, automated reasoning,
The LNAI series reports state-of-the-art results in artificial intelligence re-search, 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, LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelli- gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. proceedings (published in time for the respective conference)； post-proceedings (consisting of thoroughly revised final full papers)； research monographs (which may be based on PhD work).
¥428.50定价：¥542.40 (7.91折)
