語系
Mainzer, Klaus.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(書目-電子資源)
Artificial intelligence = when do machines take over? /
by:
Mainzer, Klaus.; SpringerLink (Online service)
(書目-電子資源)
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(書目-電子資源)