Custom cover image
Computing in Horn clause theories / Peter Padawitz
Resource type: Ressourcentyp: BuchBookLanguage: English Series: European Association for Theoretical Computer Science. EATCS monographs on theoretical computer sciences ; 16Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1988Description: XI, 322 S : graph. DarstISBN:- 3540194274
- 0387194274
- 511.3 19
- QA76.6
Contents:
Call number: Grundsignatur: 88 A 3593PPN: PPN: 024128007
Literaturverz. S. [307] - 316
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 88 A 3593 | Available | 46807210090 |
Total holds: 0