by John Harrison
Hardcover
ISBN: 978-0-387-76256-2
ISBN-10: 0-387-76256-6
Springer · 1998
|
|
by John HarrisonHardcover
ISBN: 978-0-387-76256-2 ISBN-10: 0-387-76256-6 Springer · 1998 |
| See also: | ||
| 1998 | Gebundene Ausgabe | Theorem Proving with the Real Numbers (Distinguished Dissertations) |