کتاب منطق در علوم کامپیوتر. دوره 4: مدل سازی معنایی
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
نویسنده: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
ناشر: Clarendon Press
سال انتشار: 1995
تعداد صفحات: 668
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 49 مگابایت