Certified reasoning on real numbers and objects in co-inductive type theory

Riferimento: 9788884201508

Editore: Forum Edizioni
Autore: Alberto Ciaffaglione
Collana: Phd thesis series
In commercio dal: 01 Gennaio 2003
Pagine: 162 p., Libro in brossura
EAN: 9788884201508

15,00 €