Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

الدعم
€109.95
طرق الدفع

قائمة المحتويات

Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Einführung — 2. Deduktion in der Aussagenlogik — 3. Deduktion in der Prädikatenlogik — 4. Verdichtungen und Strategien — 5. Erweiterungen und Anwendungen — Anhang — 1. Aufgaben und Lösungen — 2. Literatur — 3. Deutsch-englisches Wörterbuch — 4. Liste der Symbole — 5. Register
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة ألمانية ● شكل PDF ● صفحات 269 ● ISBN 9783110701128 ● حجم الملف 67.8 MB ● الناشر De Gruyter ● مدينة Berlin/München/Boston ● نشرت 2020 ● الإصدار 1 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 7913662 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬016 كتب إلكترونية في هذه الفئة