Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Alberto Ciaffaglione
Prodotto fuori catalogo
Dettagli Libro
- Titolo: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
- Autore: Alberto Ciaffaglione
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Forum Edizioni
- Collana:
- Data di Pubblicazione:
- Pagine:
- Formato:
- ISBN: 9788884201508
- Informatica - Informatica
Libri che ti potrebbero interessare
Diritto e società in Sicilia
A. Romano
Opera omnia degli scritti di don Mottola...
G. Lo Cane, D. Pantano
Strumenti per la pianificazione integrat...
R. Giolitti, G. Vecchi
I libri più cercati
-
Il re dei ladri
Cornelia Funke -
La vegetariana
Han Kang -
Falsa testimonianza
Karin Slaughter -
Eredità di guerra
Smith Wilbur, Churchill David -
Storia di una «Anomalia». La Facoltà di scienze...
Romano Gatto
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia