Mainzer, Klaus.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Symmetry and complexity = the spirit and beauty of nonlinear science /
by:
ProQuest (Firm); Mainzer, Klaus.
(書目-語言資料,印刷品)
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
Mainzer, Klaus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Quantencomputer = Von der Quantenwelt zur Künstlichen Intelligenz /
by:
Mainzer, Klaus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(書目-語言資料,印刷品)
Symmetry and complexity = the spirit and beauty of nonlinear science /
by:
Mainzer, Klaus.; MyiLibrary.
(書目-語言資料,印刷品)
Künstliche Intelligenz – Wann übernehmen die Maschinen?
by:
SpringerLink (Online service); Mainzer, Klaus.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Künstliche Intelligenz – Wann übernehmen die Maschinen?
by:
SpringerLink (Online service); Mainzer, Klaus.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
Philosophisches Handbuch Künstliche Intelligenz
by:
Mainzer, Klaus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
Grenzen der KI – theoretisch, praktisch, ethisch
by:
Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Artificial intelligence - When do machines take over?
by:
SpringerLink (Online service); Mainzer, Klaus.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
更多
較少的
主題
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)