Risultati della ricerca
Abbiamo trovato 1 libri cercando Alberto Ciaffaglione.
Certified reasoning on real numbers and objects in co-inductive type theory. 1.
di Alberto CiaffaglioneProdotto fuori catalogo Aggiungi a lista dei desideri
Prezzo: € 15,00
Editore: Forum Edizioni
ISBN: 9788884201508
Collana:
Anno Edizione:
