خرید و دانلود نسخه کامل کتاب Formalisieren und Beweisen: Logik für Informatiker

رسمی و اثبات: منطق برای دانشمندان کامپیوتر

Formalisieren und Beweisen: Logik für Informatiker

نویسنده: Dirk Siefkes (auth.)

ناشر: Vieweg+Teubner Verlag

سال انتشار: 1990

تعداد صفحات: 275

زبان: German

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 37 مگابایت