Del 38
Del 40 i serien Oxford Logic Guides
Temporal Logic: Volume 2
Inbunden, Engelska, 2000
4 919 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2000-03-30
- Mått162 x 242 x 37 mm
- Vikt1 011 g
- FormatInbunden
- SpråkEngelska
- SerieOxford Logic Guides
- Antal sidor612
- FörlagOUP OXFORD
- ISBN9780198537687
Tillhör följande kategorier
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
8 269 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
7 279 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Inbunden
7 329 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
8 059 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
8 019 kr
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Inbunden
7 329 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
7 329 kr
Hoppa över listan
Mer från samma serie
Del 24
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski, Jan Tarski
Inbunden
2 239 kr
Del 19
Del 22
Del 36
Del 42
Del 38
Del 39
Elements of Intuitionism
Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy
Inbunden
4 839 kr
Del 46
Hoppa över listan
Du kanske också är intresserad av
Del 21
Del 30
Del 53
Simplicity Theory
Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University
Inbunden
1 939 kr
Del 50
Del 22
Del 44
Del 36
Del 48
Del 25
Del 47