Mainzer, Klaus.
概要
| 作品: | 5 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
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-)
(书目-电子资源)
The digital and the real world[electronic resource] :computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(书目-电子资源)
The universe as automaton[electronic resource] :from simplicity and symmetry to complexity /
by:
Chua, Leon.; Mainzer, Klaus.; SpringerLink (Online service)
(书目-语言数据,印刷品)