دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Temporal Logics and their Applications
دانلود کتاب منطق های زمانی و کاربردهای آنها
مشخصات کتاب
Temporal Logics and their Applications
ویرایش:
نویسندگان: Galton A. (ed.)
سری:
ISBN (شابک) : 0122740602, 9780122740602
ناشر: AP
سال نشر: 1988
تعداد صفحات: 258
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Temporal Logics and their Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق های زمانی و کاربردهای آنها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق های زمانی و کاربردهای آنها
از پیشگفتار: این کتاب برگرفته از کنفرانسی در مورد منطق زمانی و کاربردهای آن است که در دانشگاه لیدز در ژانویه 1986، تحت نظارت مرکز تازه ایجاد شده در آن زمان برای علوم نظری کامپیوتر برگزار شد. منطق زمانی حوزه‌ای است که با سرچشمه‌گیری در فلسفه، اکنون ثابت کرده است که با چندین حوزه متمایز در علوم رایانه مرتبط است. در این نشریه، تمام جنبه‌های منطق زمانی با هم بررسی می‌شوند، امیدواریم انگیزه‌ای برای همکاری‌های بین رشته‌ای بیشتر، نه تنها در رابطه با منطق زمانی، بلکه در ارتباط با سایر مسائل منطقی و فلسفی، که در رابط بین محاسبات و فلسفه
توضیحاتی درمورد کتاب به خارجی
FROM THE PREFACE: This book has risen from a conference on Temporal Logic and Its Applications held at the University of Leeds in January 1986, under the auspices of the then newly-created Centre for Theoretical Computer Science. Temporal logic is a field which, having originated within philosophy, has now proved to be of relevance to several distinct areas in computer science. In this publication, all of the aspects of temporal logic are treated together, hopefully providing a stimulus to further inter-disciplinary collaboration, not only as regards temporal logic itself but also in connection with other logical and philosophical issues, which lie at the interface between computing and philosophy.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Birds of North America, Western Region
دانلود کتاب Out of Poverty: What Works When Traditional Approaches Fail (BK Currents (Hardcover))
دانلود کتاب Technology and Professional Identity of Librarians: The Making of the Cybrarian
دانلود کتاب Ultraschalldiagnostik (B-scan) in der Inneren Medizin: Lehrbuch und Atlas
