Benutzerdefiniertes Cover
Automated theorem proving / Wolfgang Bibel
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Braunschweig [u.a.] : Vieweg, 1982Beschreibung: XIII, 292 SISBN:- 3528085207
- 511.3
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 82 A 2331 | Verfügbar | 51243528090 |
Anzahl Vormerkungen: 0