Custom cover image
Aussagenlogik: Deduktion und Algorithmen / Hans Kleine Büning; Theodor Lettmann
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: Leitfäden und Monographien der InformatikPublisher: Stuttgart : Teubner, 1994Description: X, 438 S. : IllISBN:- 3519021331
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 1.0 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 94 A 2954 | Available | 46623783090 |
Total holds: 0