Mainzer, Klaus.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(Electronic resources)
The digital and the real world[electronic resource] :computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(Electronic resources)
The universe as automaton[electronic resource] :from simplicity and symmetry to complexity /
by:
Chua, Leon.; Mainzer, Klaus.; SpringerLink (Online service)
(Language materials, printed)