Search results for ‘Klaus Mainzer, Stefania Centrone’

Filter & Refine

      Cover image for Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
      Hardback
      Add to list Added to list

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

      Klaus Mainzer, Stefania Centrone

      Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be…

      $277.99

      Available to order, ships in approx 2 weeksAvailable to order