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)
(書目-語言資料,印刷品)