Mainzer, Klaus.
概観
著作: | 5 作品に 2 出版物中に 1 言語 |
---|
タイトル
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification /
…で:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(コンピュータ・メディア)
The digital and the real world[electronic resource] :computational foundations of mathematics, science, technology, and philosophy /
…で:
Mainzer, Klaus.
(コンピュータ・メディア)
The universe as automaton[electronic resource] :from simplicity and symmetry to complexity /
…で:
Chua, Leon.; Mainzer, Klaus.; SpringerLink (Online service)
(言語・文字資料 (印刷物))