کسر: منطق خودکار
Deduktion: Automatisierung der Logik
نویسنده: Wolfgang Bibel; Steffen Hölldobler; Gerd Neugebauer
ناشر: De Gruyter Oldenbourg
سال انتشار: 2020
تعداد صفحات: 270
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 66 مگابایت
توضیحی برای این کتاب ثبت نشده است.