Home
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
Loading Inventory...
Coles
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
From Dov M Gabbay
Current price: $517.50
Coles
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
From Dov M Gabbay
Current price: $517.50
Loading Inventory...
Size: 3.7 x 23.4 x 940
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, coveringautomata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. | Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters