Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Support
€109.95
méthodes de payement

Table des matières

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
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Allemand ● Format PDF ● Pages 269 ● ISBN 9783110701128 ● Taille du fichier 67.8 MB ● Maison d’édition De Gruyter ● Lieu Berlin/München/Boston ● Publié 2020 ● Édition 1 ● Téléchargeable 24 mois ● Devise EUR ● ID 7913662 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

16 016 Ebooks dans cette catégorie