Custom cover image
Canonical equational proofs / Leo Bachmair
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Progress in theoretical computer science ; [1]Publisher: Boston ; Berlin ; [Stuttgart] [u.a.] : Birkhäuser, 1991Edition: 1. prDescription: X, 135 S. : graph. Darst. ; 24 cmISBN:- 3764335556
- 0817635556
- 511.3
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 92 A 1366 | Available | 44334261090 |
Total holds: 0