Mainzer, Klaus.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Symmetry and complexity = the spirit and beauty of nonlinear science /
by:
ProQuest (Firm); Mainzer, Klaus.
(Language materials, printed)
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:
Mainzer, Klaus.; SpringerLink (Online service)
(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:
SpringerLink (Online service); Mainzer, Klaus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Künstliche Intelligenz – Wann übernehmen die Maschinen?
by:
SpringerLink (Online service); Mainzer, Klaus.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
The universe as automaton = from simplicity and symmetry to complexity /
by:
SpringerLink (Online service); Chua, Leon.; Mainzer, Klaus.
(Language materials, printed)
Philosophisches Handbuch Künstliche Intelligenz
by:
Mainzer, Klaus.; SpringerLink (Online service)
(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:
Schwichtenberg, Helmut, (1942-); Schuster, Peter, (1966-); Mainzer, Klaus.
(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.; Renn, Ortwin.; Mainzer, Klaus.; Grambow, Martin.; SpringerLink (Online service); 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:
Centrone, Stefania.; Mainzer, Klaus.
(Language materials, printed)
Show more
Fewer
Subjects
Computer science—Mathematics.
Environmental sciences.
Statistical Physics, Dynamical Systems and Complexity.
Artificial intelligence.
Quantum physics.
Temporal automata.
Mathematical and Computational Engineering Applications.
Environmental Science and Engineering.
Theory of Computation.
Environmental economics.
Sustainability Management.
Complexity.
Technology—Sociological aspects.
Logic.
Quantum computers.
Nonlinear systems.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Development and Sustainability.
Science
Logic, Symbolic and mathematical.
Computational Intelligence.
Quantum Computing.
Engineering mathematics.
Neurobiology.
Quality control.
Environmental Economics.
Philosophy of Technology.
Mathematics
Economic development—Environmental aspects.
Computers.
Industrial safety.
Symmetry.
Physics.
Mathematics—Philosophy.
Computer hardware.
Computer Hardware.
Philosophy of Mathematics.
Quantum Physics.
Technology.
Science and Technology Studies.
Philosophy.
Engineering—Data processing.
Popular Science in Technology.
Mathematics of Computing.
Industrial management—Environmental aspects.
Quality Control, Reliability, Safety and Risk.
Sustainable development.
Computational intelligence.
Sustainable Development.
Reliability.
Complexity (Philosophy)