von John Harrison
Gebunden
ISBN-13: 978-3-540-76256-0
ISBN-10: 3-540-76256-6
Springer · 1998
|
|
von John HarrisonGebunden
ISBN-13: 978-3-540-76256-0 ISBN-10: 3-540-76256-6 Springer · 1998 |
| Siehe auch: | ||
| 1998 | Hardcover | Theorem Proving with the Real Numbers |