Mainzer, Klaus.
概要
| 作品: | 2 作品在 3 項出版品 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)
(書目-電子資源)
Limits of AI -- theoretical, practical, ethical
by:
Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard.
(書目-電子資源)
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(書目-電子資源)
主題
Mathematics- Philosophy.
Logic, Symbolic and mathematical.
Popular Science in Technology.
Artificial intelligence- Moral and ethical aspects.
Computational Intelligence.
Mathematical and Computational Engineering Applications.
Artificial Intelligence.
Artificial intelligence.
Mathematics- Data processing.