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

Riferimento: 9788884201508

Editore:
Autore: Alberto Ciaffaglione
Collana: Phd thesis series
Pagine: 162 p., Libro in brossura
EAN: 9788884201508
15,00 €
Quantità
Non disponibile