Non più in commercio
Theorem Proving with the Real Numbers
|
di John Harrison (Autore)
|
Dettagli
| Edizione: | 1 |
|---|---|
| Categoria: | Computer Science |
| Volumi: | 0 |
| Pagine: | 0 |
| Collana: | - |
| Data Pubblicazione: | -1998 |
| Lingua: | Eng |
| ISBN: | 9781447115939 |
