Deduktion: Automatisierung der Logik

خرید و دانلود نسخه کامل کتاب Deduktion: Automatisierung der Logik

کسر: منطق خودکار

Deduktion: Automatisierung der Logik

نویسنده: Wolfgang Bibel; Steffen Hölldobler; Gerd Neugebauer

ناشر: De Gruyter Oldenbourg

سال انتشار: 2020

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

زبان: German

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

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

112,000 تومان 82,000 تومان