UID:
almafu_9959673744002883
Umfang:
1 online resource (269 p.) :
,
Zahlr. Abb.
Ausgabe:
Reprint 2020
ISBN:
9783110701128
Serie:
Handbuch der Informatik ; 6.2
Anmerkung:
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 --
,
1. Aufgaben und Lösungen --
,
2. Literatur --
,
3. Deutsch-englisches Wörterbuch --
,
4. Liste der Symbole --
,
5. Register
,
In German.
Weitere Ausg.:
ISBN 9783486207859
Sprache:
Deutsch
DOI:
10.1515/9783110701128
URL:
https://doi.org/10.1515/9783110701128
URL:
https://www.degruyter.com/isbn/9783110701128
URL:
https://doi.org/10.1515/9783110701128
URL:
https://www.degruyter.com/isbn/9783110701128
Bookmarklink
