Custom cover image
Graph-based proof procedures for Horn clauses / Stan Raatz
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Progress in computer science and applied logic ; 10Publisher: Boston ; [Stuttgart] [u.a.] : Birkhäuser, 1990Description: 147 S : graph. Darst ; 24 cmISBN:- 0817635300
- 3764335300
- graph-based
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4897 | Available | 46236946090 |
Total holds: 0