عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 M63 2011
QA76
.
76
.
V47
M63
2011
کتابخانه
محل استقرار
شابک
شابک
3642206743
شابک
9783642206740
شماره کتابشناسی ملی
شماره
b434114
عنوان و نام پديدآور
عنوان اصلي
Model checking and artificial intelligence :
نام عام مواد
[Book]
ساير اطلاعات عنواني
6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
نام نخستين پديدآور
Ron van der Meyden, Jan-Georg Smaus (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (vii, 129 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in artificial intelligence
عنوان فروست
LNCS sublibrary. SL 7, Artificial intelligence
مشخصه جلد
6572.
شاپا ي ISSN فروست
1611-3349 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Model checking and artificial intelligence.
شماره استاندارد بين المللي کتاب و موسيقي
9783642206733
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
MoChArt 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence, Congresses
موضوع مستند نشده
Computer software-- Verification, Congresses
موضوع مستند نشده
Computer systems-- Verification, Congresses
رده بندی ديویی
شماره
005
.
1/4
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نشانه اثر
M63
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Smaus, Jan-Georg
مستند نام اشخاص تاييد نشده
Van der Meyden, Ron,1960-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
MoChArt 2010(2010 :, Atlanta, Ga.)
مبدا اصلی
تاريخ عمليات
20170726082119.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
