【预订】Model Checking and Artificial Intelligence 9783540741275 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540741275 Author 作者 Stefan Edelkamp Format 版本 平装-胶订 Pages Number 页数 185页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-08-09 Language 语种 英语 Book Contents 内容简介 The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
¥608.00
【预订】Model Checking and Artificial Intelligence 9783642206733 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642206733 Author 作者 van der Meyden Format 版本 平装-胶订 Pages Number 页数 131页 Publication Date 出版日期 2011-05-04 Shipping Weight 商品重量 231g Language 语种 英语 Book Contents 内容简介 This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.
¥608.00
海外直订Model Checking and Artificial Intelligence: 4th Workshop
¥553.00
预订 Model Checking and Artificial Intelligence [ISBN:97836422 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
海外直订Model Checking and Artificial Intelligence: 6th Internat
¥639.00
3-6周达 Model Checking and Artificial Intelligence: 4th Worksh 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Model Checking and Artificial Intelligence: 5th Internat
¥553.00
【3-6周达】Model Checking and Artificial Intelligence: 5th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
