Custom cover image
Handbook of automated reasoning. 1 / Ed.: Alan Robinson ...
Resource type: Ressourcentyp: BuchBookLanguage: English Set: Handbook of automated reasoning.Publisher: Amsterdam : North Holland, 2001Description: XXV, 970 SISBN:- 0444829490
- 0262182211
- 006.333
- 511.3
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 6.21 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2004 A 14002-1 | ;b | Available | 48028575090 |
Total holds: 0