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