Aussagenlogik: Deduktion und Algorithmen Deduktion und Algorithmen

Gespeichert in:
1. Verfasser:
Lettmann, Theodor
Format:
Elektronisch E-Book
Sprache:
Deutsch
Veröffentlicht:
Wiesbaden Vieweg+Teubner Verlag Imprint: Vieweg+Teubner Verlag 1994
Ausgabe:
1st ed. 1994
Umfang:
1 Online-Ressource (X, 438 S.)
text file PDF
Schriftenreihe:
Leitfäden und Monographien der Informatik
ISBN:
9783322848093
DOI:
10.1007/978-3-322-84809-3
Schlagworte:
Engineering
Bezugswerke:
Links: