Custom cover image
Automated theorem proving / Wolfgang Bibel
Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Braunschweig [u.a.] : Vieweg, 1982Description: XIII, 292 SISBN:- 3528085207
- 511.3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 82 A 2331 | Available | 51243528090 |
Total holds: 0