Del 38
Temporal Logic: Volume 2
3 750 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
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, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Del 46
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1992
6 571 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Dov M. Gabbay, C. J. Hogger
Inbunden, 1993
5 553 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Inbunden, 1994
5 553 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Inbunden, 1994
6 112 kr
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1992
6 112 kr
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1995
5 553 kr
Del 28
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Samson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden, 1995
5 603 kr
Hoppa över listan
Mer från samma serie
Del 29
Del 37
Del 24
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski, Jan Tarski
Inbunden, 1994
1 698 kr
Del 19
Del 22
Del 36
Del 42
Hoppa över listan
Du kanske också är intresserad av
Del 21
Del 30
Del 53
Del 50
Del 22
Del 44
Del 36
Del 48
Del 25
Del 47