Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
Neue Suche
+ Optionen
+ Suchhistorie (1 Recherche)
RSSDrucker
Folder

Treffer einschränken:

- Jahr
 bis  
- Einrichtung
- Sprache
 
- Datenträger
- Dokumenttyp
- Fach
- Schlagwort
- Geographischer Bezug
- Person
1. Löh, Clara: Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by Clara Löh. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(VI, 147 p. 1 illus.), ISBN 978-3-031-14649-7
(Surveys and Tutorials in the Applied Mathematical Sciences ; 11)
(Springer eBook Collection)
DOI: 10.1007/978-3-031-14649-7
Themen: Abstraktion | Beweisassistent | Formalisierung | Lean <Programm> | Simplizialer Komplex | Typentheorie
Online-Ressource 
→ Ähnliche Titel suchen   
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang

© Universitätsbibliothek HeidelbergMailImpressum / Datenschutz   Design