مقدمه ای بر منطق محاسباتی (SS 2014) [یادداشت های سخنرانی]
Introduction to Computational Logic (SS 2014) [lecture notes]
نویسنده: Gert Smolka, Chad E. Brown
ناشر: 2014
سال انتشار: 2014
تعداد صفحات: 204
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت