Benutzerdefiniertes Cover
Aussagenlogik: Deduktion und Algorithmen / Hans Kleine Büning; Theodor Lettmann
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Leitfäden und Monographien der InformatikVerlag: Stuttgart : Teubner, 1994Beschreibung: X, 438 S. : IllISBN:- 3519021331
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 1.0 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 94 A 2954 | Verfügbar | 46623783090 |
Anzahl Vormerkungen: 0