Mainzer, Klaus.

Overview

Works:	0 works in 6 publications in 1 languages

Titles

Artificial intelligencewhen do machines take over? / by: Mainzer, Klaus.; SpringerLink (Online service) (Electronic resources)

Artificial intelligence of neuromorphic systemsfrom digital, analogue, quantum, and brain-oriented computing to hybrid AI / by: Mainzer, Klaus. (Electronic resources)

Symmetry and complexitythe spirit and beauty of nonlinear science / by: Mainzer, Klaus.; MyiLibrary. (Electronic resources)

The digital and the real worldcomputational foundations of mathematics, science, technology, and philosophy / by: Mainzer, Klaus. (Electronic resources)

Limits of AI -- theoretical, practical, ethical by: Kahle, Reinhard.; Mainzer, Klaus.; SpringerLink (Online service) (Electronic resources)

Temporal logicfrom philosophy and proof theory to artificial intelligence and quantum computing / by: Centrone, Stefania.; Mainzer, Klaus. (Electronic resources)

Proof and computation IIfrom proof theory and univalent mathematics to program extraction and verification / by: Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-) (Electronic resources)

The universe as automatonfrom simplicity and symmetry to complexity / by: Chua, Leon.; Mainzer, Klaus.; SpringerLink (Online service) (Electronic resources)

Subjects