بلیان

چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

Challenges for Action Theories (Lecture Notes in Computer Science, 1775)

Michael Thielscher; Ohio Library and Information Network

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
Michael Thielscher; Ohio Library and Information Network
ناشر
Springer Spektrum. in Springer-Verlag GmbH
سال انتشار
۱۷۷۵
فرمت
PDF
زبان
انگلیسی
حجم فایل
۲٫۷ مگابایت
شابک
9783540455967، 9783540674559، 3540455965، 3540674551

دربارهٔ کتاب

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.

کتاب‌های مشابه

Challenges for Action Theories (Lecture Notes in Computer Science, 1775)

Challenges for Action Theories (Lecture Notes in Computer Science, 1775)

۴۹٬۰۰۰ تومان

Challenges for Action Theories (Lecture Notes in Computer Science, 1775)

Challenges for Action Theories (Lecture Notes in Computer Science, 1775)

۴۹٬۰۰۰ تومان

Set Theory for Computer Science [lecture notes]

Set Theory for Computer Science [lecture notes]

۴۹٬۰۰۰ تومان

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

۴۹٬۰۰۰ تومان

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

۴۹٬۰۰۰ تومان

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

۴۹٬۰۰۰ تومان

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

Search Computing: Challenges and Directions (Lecture Notes in Computer Science (5950))

۴۹٬۰۰۰ تومان

A Relational Theory of Computing (Lecture Notes in Computer Science, 82)

A Relational Theory of Computing (Lecture Notes in Computer Science, 82)

۴۹٬۰۰۰ تومان

Notes on Computational Group Theory [Lecture notes]

Notes on Computational Group Theory [Lecture notes]

۴۹٬۰۰۰ تومان

Notes on Computational Complexity Theory [lecture notes]

Notes on Computational Complexity Theory [lecture notes]

۴۹٬۰۰۰ تومان

A Connotational Theory Of Program Structure (lecture Notes In Computer Science)

A Connotational Theory Of Program Structure (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

The Stability Theory Of Stream Ciphers (lecture Notes In Computer Science)

The Stability Theory Of Stream Ciphers (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان