Canonical equational proofs / Leo Bachmair
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Progress in theoretical computer science ; [1]Verlag: Boston ; Berlin ; [Stuttgart] [u.a.] : Birkhäuser, 1991Auflage: 1. prBeschreibung: X, 135 S. : graph. Darst. ; 24 cmISBN:- 3764335556
- 0817635556
- 511.3
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 92 A 1366 | Verfügbar | 44334261090 |
Anzahl Vormerkungen: 0