Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1
| Titolo | Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 |
| Autore | Alberto Ciaffaglione |
| Collana | Phd thesis series |
| Editore | Forum Edizioni |
| Formato |
Libro: Copertina morbida |
| Pagine | 162 |
| Pubblicazione | 01/2003 |
| ISBN | 9788884201508 |