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

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

Formalisieren und Beweisen: Logik für Informatiker

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

ناشر: Vieweg+Teubner Verlag

سال انتشار: 1992

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

زبان: German

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

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