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
Conta su di me! Come si impara la respon...
M. Patarino, Centro evangelizzazione e cate, Mike Gordon, Brian Moses, M. Gordon
Non mi importa! Come si impara il rispet...
M. Patarino, Centro evangelizzazione e cate, Mike Gordon, Brian Moses, M. Gordon
Non sono stato io! Come si impara l'ones...
Moses Brian
Per favore! Come si impara la buona educ...
M. Patarino, Centro evangelizzazione e catechesi «don Bosco», Brian Moses, M. Gordon, Mike Gordon
Saggi su il Ghilgames per approfondire l...
Claudio Saporetti
Atlante di flora & fauna del Mediterrane...
Egidio Trainito
Vita da canile
Fausto Carmignotto
Giochi di tutto il mondo. Oltre 100 gioc...
R. Curto, Oriol Ripoll, M. Melato
Lavori con il traforo elettrico
Enza Clapis
Lezioni di découpage
Silvia Mangano, Paolo Corona
I libri più cercati
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