by Christian Prehofer
Hardcover
ISBN: 978-0-8176-4032-3
ISBN-10: 0-8176-4032-0
Birkhäuser · 1997
|
|
by Christian PrehoferHardcover
ISBN: 978-0-8176-4032-3 ISBN-10: 0-8176-4032-0 Birkhäuser · 1997 |
| See also: | ||
| 1997 | Gebundene Ausgabe | Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science) |