Klaus Mainzer

Publikationen pro Jahr

Filter

2021
Preface
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2021, Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific Publishing Co., S. v-vi
Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort
2 Zitate (Scopus)
2018

Preface
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., S. v-vi
Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort

4 Zitate (Scopus)

Publikationen