Graph-based proof procedures for Horn clauses / Stan Raatz
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Progress in computer science and applied logic ; 10Verlag: Boston ; [Stuttgart] [u.a.] : Birkhäuser, 1990Beschreibung: 147 S : graph. Darst ; 24 cmISBN:- 0817635300
- 3764335300
- graph-based
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 4897 | Verfügbar | 46236946090 |
Anzahl Vormerkungen: 0