Vai al contenuto principale della pagina
Autore: |
Löh Clara
![]() |
Titolo: |
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh
![]() |
Pubblicazione: | Cham, Switzerland : , : Springer, , [2022] |
©2022 | |
Descrizione fisica: | 1 online resource (152 pages) |
Disciplina: | 005.1 |
Soggetto topico: | Automatic theorem proving - Computer programs |
Demostració automàtica de teoremes | |
Programes d'ordinador | |
Soggetto genere / forma: | Llibres electrònics |
Nota di bibliografia: | Includes bibliographical references and index. |
Titolo autorizzato: | Exploring Formalisation ![]() |
ISBN: | 9783031146497 |
9783031146480 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996490345603316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |