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

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

Prodotto fuori catalogo

Dettagli Libro

Libri che ti potrebbero interessare

Camminare correre volare
Camminare correre volare

Sabrina Rondinelli
Billy Elliot
Billy Elliot

Melvin Burgess
Dinosauri di carta
Dinosauri di carta

Schultz, W. A.
Islanda
Islanda

Andrew Evans