by Bachmair
Paperback
ISBN: 978-0-8176-3555-8
ISBN-10: 0-8176-3555-6
Birkhäuser · 1991
|
|
by BachmairPaperback
ISBN: 978-0-8176-3555-8 ISBN-10: 0-8176-3555-6 Birkhäuser · 1991 |
| See also: | ||
| 1991 | Paperback | Canonical Equational Proofs (Progress in Theoretical Computer Science) |