Certified reasoning on real numbers and objects in co-inductive type theory vol.1
- Editore:
Forum Edizioni
- Collana:
- Phd thesis series
- Data di Pubblicazione:
- 2003
- EAN:
9788884201508
- ISBN:
8884201500
- Pagine:
- 162
Acquistabile con
o la
Fuori catalogo - Non ordinabile
€ 15.00
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti