Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Sokongan
€109.95
cara bayaran

Jadual kandungan

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 PERCUMA!
Bahasa Jerman ● Format PDF ● Halaman-halaman 269 ● ISBN 9783110701128 ● Saiz fail 67.8 MB ● Penerbit De Gruyter ● Bandar raya Berlin/München/Boston ● Diterbitkan 2020 ● Edisi 1 ● Muat turun 24 bulan ● Mata wang EUR ● ID 7913662 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

16,016 Ebooks dalam kategori ini