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

Alberto Ciaffaglione

Prezzo:15,00

Prodotto al momento non disponibile.

Titolo: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Autore: Alberto Ciaffaglione
Editore: Forum Edizioni
Data di Pubblicazione: 0
Pagine:
Formato:
ISBN: 9788884201508