Catalogo · 9783540459491
Isabelle/HOL
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
ISBN 9783540459491 · Mathematics
Descrizione non disponibile per questo libro.
Mathematics
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Verba volant · scripta manent