SCHWICHTENBERG, Helmut Artur
SCHWICHTENBERG, Helmut Artur
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
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 |
---|---|---|---|
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 |