دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Executable Modal and Temporal Logics: IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
دانلود کتاب منطق‌های معین و زمانی اجرایی: اتاق کارگاه IJCAI '93، فرانسه، 28 آگوست 1993 مجموعه مقالات
مشخصات کتاب
Executable Modal and Temporal Logics: IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
ویرایش: [1 ed.] نویسندگان: Michael Fisher, Richard Owens (auth.), Michael Fisher, Richard Owens (eds.) سری: Lecture Notes in Computer Science 897 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540589767 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 188 [187] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 29,000
در صورت تبدیل فایل کتاب Executable Modal and Temporal Logics: IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق‌های معین و زمانی اجرایی: اتاق کارگاه IJCAI '93، فرانسه، 28 آگوست 1993 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق‌های معین و زمانی اجرایی: اتاق کارگاه IJCAI '93، فرانسه، 28 آگوست 1993 مجموعه مقالات
این جلد مجموعه مقالات به طور کامل اصلاح شده کارگاه آموزشی
IJCAI در مورد منطق های اجرایی و موقتی که در اوت 1993 در
Chambery، فرانسه برگزار شد، ارائه می کند.
اجرای مستقیم عبارات منطقی، از طریق زبان هایی مانند PROLOG، به
طرز قابل توجهی ثابت شده است. موفق در CS و AI. در سال‌های
اخیر، انواع منطق‌های غیرکلاسیک معرفی شده‌اند و چندین اشکال
اجرایی از این منطق‌ها در برنامه‌نویسی به کار گرفته
شده‌اند.
این جلد به طیف وسیعی از رویکردهای منطق‌های مدال و زمانی
اجرایی می‌پردازد، نه تنها از دیدگاه منطقی، بلکه از منظر زبان
برنامه نویسی و برنامه کاربردی. علاوه بر این، یک بررسی مقدماتی
و یک کتابشناسی مشروح ارائه شده است.
توضیحاتی درمورد کتاب به خارجی
This volume presents the thoroughly revised proceedings of
the IJCAI '93 Workshop on Executable Modal and Temporal
Logics held in Chambery, France in August 1993.
The direct execution of logical statements, through languages
such as PROLOG, has proved remarkably successful within CS
and AI. In recent years a variety of nonclassical logics have
been introduced and several executable forms of these logics
have been applied to programming.
This volume addresses a range of approaches to executable
modal and temporal logics, not only from a logical point of
view, but also from programming language and application
standpoints; in addition, an introductory survey and an
annotated bibliography are presented.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Astrophysical Constants [reference]
دانلود کتاب Ground Penetrating Radar Theory and Applications
دانلود کتاب Бюро інформації УГВР. Випуск 5.
دانلود کتاب High Performance Networking VII: IFIP TC6 Seventh International Conference on High Performance Networks (HPN ‘97), 28th April – 2nd May 1997, White Plains, New York, USA
