von Leo Bachmair
Gebunden
ISBN: 978-3-7643-3555-7
ISBN-10: 3-7643-3555-6
Birkhäuser Verlag · 1991
|
|
von Leo BachmairGebunden
ISBN: 978-3-7643-3555-7 ISBN-10: 3-7643-3555-6 Birkhäuser Verlag · 1991 |
| Siehe auch: | ||
| 1991 | Paperback | Canonical Equational Proofs (Progress in Theoretical Computer Science) |