معناشناسی واکنشی کریپکه
Reactive Kripke Semantics
نویسنده: Dov M. Gabbay (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 450
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت
توضیحی برای این کتاب ثبت نشده است.