Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Dukung
€109.95
cara pembayaran

Daftar Isi

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
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Jerman ● Format PDF ● Halaman 269 ● ISBN 9783110701128 ● Ukuran file 67.8 MB ● Penerbit De Gruyter ● Kota Berlin/München/Boston ● Diterbitkan 2020 ● Edisi 1 ● Diunduh 24 bulan ● Mata uang EUR ● ID 7913662 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

16,016 Ebooks dalam kategori ini