Certified reasoning on real numbers and objects in co-inductive type theory
| Titolo | Certified reasoning on real numbers and objects in co-inductive type theory |
| Sottotitolo | Vol. 1 |
| Autore | Ciaffaglione Alberto |
| Editore | Forum Edizioni |
| Formato |
Libro |
| Pagine | 162 |
| Pubblicazione | 2003 |
| ISBN | 9788884201508 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
