عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Temporal logic : mathematical foundations and computational aspects
پدید آورنده
Gabbay, Dov M.
موضوع
Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده
QA
76
.
6
.
G27
1994
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
H1
Gabbay, Dov M.
Temporal logic : mathematical foundations and computational aspects
Oxford
Clarendon Press
1994-
V. : ill
Oxford science publications
Includes bibliographical references and indexes
Electronic digital computers - Programming
Logic, Symbolic and mathematical
QA
76
.
6
.
G27
1994
AU
1945-
Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds
English
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح