Name: Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Author: 95730

BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA

Documento per sola consultazione interna

Inventario eMF 8728

Collocazione DLOAD e-Book 8728

Scaffale

biblioteche Università Vanvitelli, biblioteche Vanvitelli, biblioteche Università degli Studi della Campania, Sebina, biblioteca, opac, catalogo biblioteca, Campania, Catalogo biblioteca, catalogo on-line, Prestito libri

Catalogo online d'Ateneo dell'Università degli Studi della Campania "Luigi Vanvitelli"