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
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา เยอรมัน ● รูป PDF ● หน้า 269 ● ISBN 9783110701128 ● ขนาดไฟล์ 67.8 MB ● สำนักพิมพ์ De Gruyter ● เมือง Berlin/München/Boston ● การตีพิมพ์ 2020 ● ฉบับ 1 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 7913662 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

16,016 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้