Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Preface
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification
2021-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Preface
2021-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Preface | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur | |
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification | 1-gen-2021 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
Preface | 1-gen-2021 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile