國立虎尾科技大學 |

作品:	1 作品在 2 項出版品 1 種語言

Proof and computation II = from proof theory and univalent mathematics to program extraction and verification / by: Mainzer, Klaus.; Schwichtenberg, Helmut, (1942-); Schuster, Peter, (1966-) (書目-語言資料,印刷品)

Grenzen der KI – theoretisch, praktisch, ethisch by: Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

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: SpringerLink (Online service); Mainzer, Klaus. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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: Mainzer, Klaus.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Artificial intelligence - When do machines take over? by: SpringerLink (Online service); Mainzer, Klaus. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]