Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr | |
---|---|---|---|---|
Canonical Equational Proofs | Hardcover | 978-0-8176-3555-8 (0-8176-3555-6) | 1991 | |
Canonical Equational Proofs | Gebunden | 978-3-7643-3555-7 (3-7643-3555-6) | 1991 | |
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings | Taschenbuch | 978-3-540-67778-9 (3-540-67778-X) | 2008 |
L B · Le Besnier · Lee Basnar · Lee Bickmore · Lui Bussenar
Birkhauser · Birkhäuser · Springer