Mainzer, Klaus.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
Mainzer, Klaus.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Quantencomputer = Von der Quantenwelt zur Künstlichen Intelligenz /
by:
SpringerLink (Online service); Mainzer, Klaus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(Language materials, printed)
Symmetry and complexity = the spirit and beauty of nonlinear science /
by:
Mainzer, Klaus.; MyiLibrary.
(Language materials, printed)
Künstliche Intelligenz – Wann übernehmen die Maschinen?
by:
Mainzer, Klaus.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Künstliche Intelligenz – Wann übernehmen die Maschinen?
by:
Mainzer, Klaus.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
The universe as automaton = from simplicity and symmetry to complexity /
by:
Mainzer, Klaus.; SpringerLink (Online service); Chua, Leon.
(Language materials, printed)
Philosophisches Handbuch Künstliche Intelligenz
by:
SpringerLink (Online service); Mainzer, Klaus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schwichtenberg, Helmut, (1942-); Schuster, Peter, (1966-)
(Language materials, printed)
Grenzen der KI – theoretisch, praktisch, ethisch
by:
Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Sustainable Risk Management
by:
Wilderer, Peter A.; Grambow, Martin.; Renn, Ortwin.; SpringerLink (Online service); Mainzer, Klaus.; Molls, Michael.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Artificial intelligence - When do machines take over?
by:
SpringerLink (Online service); Mainzer, Klaus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
Mainzer, Klaus.; Centrone, Stefania.
(Language materials, printed)
Show more
Fewer
Subjects
Environmental sciences.
Artificial intelligence.
Temporal automata.
Mathematical and Computational Engineering Applications.
Theory of Computation.
Environmental economics.
Sustainability Management.
Complexity.
Technology—Sociological aspects.
Nonlinear systems.
Development and Sustainability.
Neurobiology.
Economic development—Environmental aspects.
Computers.
Physics.
Philosophy.
Engineering—Data processing.
Mathematics of Computing.
Complexity (Philosophy)
Science
Quantum Computing.
Engineering mathematics.
Philosophy of Technology.
Industrial safety.
Philosophy of Mathematics.
Computer science—Mathematics.
Statistical Physics, Dynamical Systems and Complexity.
Quantum physics.
Environmental Science and Engineering.
Logic.
Quantum computers.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computational Intelligence.
Quality control.
Environmental Economics.
Mathematics—Philosophy.
Quantum Physics.
Science and Technology Studies.
Popular Science in Technology.
Industrial management—Environmental aspects.
Quality Control, Reliability, Safety and Risk.
Sustainable development.
Computational intelligence.
Sustainable Development.
Reliability.
Logic, Symbolic and mathematical.
Mathematics
Symmetry.
Computer Hardware.
Computer hardware.
Technology.