دانلود کتاب Handbook of Logic in Computer Science, vol.4: Semantic Modelling
by Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
|
عنوان فارسی: راهنمای منطق در علوم کامپیوتر، vol.4: مدلسازی معنایی |