Theorem Proving with the Real Numbers
by John Harrison Paperback 2011
- Author: John Harrison
- ISBN 13: 9781447115939
- ISBN 10: 1447115937
- Publication Year: 2011
- Language: English
Specifications
| Index-10 | 1447115937 |
|---|---|
| Index-13 | 9781447115939 |
| Language | English |