• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Model checking and artificial intelligence :

پدید آورنده
Ron van der Meyden, Jan-Georg Smaus (editions.)

موضوع
Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses

رده
QA76
.
76
.
V47
M63
2011

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
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

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال