SCHWICHTENBERG, Helmut Artur
SCHWICHTENBERG, Helmut Artur
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Preface
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur
Preface
2021-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
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
2018-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 | |
Preface | 1-gen-2021 | 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 | |
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut |