Author: Klaus Mainzer

Sort by
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing Front Cover

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

by ,
  • Length: 220 pages
  • Publication Date: 2023-05-22
0 (0)
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy Front Cover

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

by , ,
  • Length: 300 pages
  • Publication Date: 2018-05-30
0 (0)
Artificial intelligence – When do machines take over? Front Cover

Artificial intelligence – When do machines take over?

by
  • Length: 279 pages
  • Publication Date: 2019-12-11
0 (0)