Mainzer, Klaus.

Overview

Works:	2 works in 4 publications in 1 languages

Titles

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

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

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

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

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

Subjects