Product Description
ISBN: 9789811268533
TITLE: Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
AUTHOR: Klaus Mainzer
PUBLISHER: World Scientific Publishing Co Pte Ltd
PUBLISHER DATE: 23 Jun 2023
ISBN: 9789811268533
TITLE: Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
AUTHOR: Klaus Mainzer
PUBLISHER: World Scientific Publishing Co Pte Ltd
PUBLISHER DATE: 23 Jun 2023
Popular Trending Products
ISBN: 9789813270930TITLE: Proof And Computation: Digitization In Mathematics, Computer Science, And …
ISBN: 9789811236471TITLE: Proof And Computation Ii: From Proof Theory And Univalent Mathematics To P…
ISBN: 9789813225480TITLE: Digital And The Real World, The: Computational Foundations Of Mathematics,…