Formalisieren und beweisen : Logik für Informatiker / Dirk Siefkes
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: Braunschweig ; Wiesbaden : Vieweg, 1992Edition: 2., verb. AuflDescription: XIII, 259 S. : graph. DarstISBN:- 3528147571
Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek DHBW Karlsruhe | inf 1.4 | Bibliothek / frei aufgestellt | 90 A 4716(2) | ;b | Available | 52041023090 |
Total holds: 0