4 859 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

Mer från samma författare

Fibring Logics
Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

2 029 kr

Interpolation and Definability
Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

3 699 kr

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Professor of Computing Science) Abramsky, S. (Professor of Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, all at the Imperial College of Science, Technology, and Medicine

8 129 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Gabbay, Hogger, Robinson, Dov M. Gabbay, C. J. Hogger

7 199 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Christopher J. Hogger

7 199 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

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, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Christopher J. Hogger

7 929 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay

7 929 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

7 199 kr

Temporal Logic: Volume 1
Del 28

Temporal Logic: Volume 1

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds, Brazil) Reynolds, Mark (, Dept of Ciencia da ComputacaoUniv Sao Paulo

6 099 kr

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, Dov M. Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

7 199 kr

Du kanske också är intresserad av

Proceedings of the NIELIT’s International Conference on Communication, Electronics and Digital Technologies
  • Nyhet

Proceedings of the NIELIT’s International Conference on Communication, Electronics and Digital Technologies

Palaiahnakote Shivakumara, Sanjeev Kumar Gupta, Sanjay Dhurandher, Manish Arora

4 859 kr

Intelligent Sustainable Systems
  • Nyhet

Intelligent Sustainable Systems

Nagar Atulya K., Jat Dharm Singh, Mishra Durgesh Kumar, Amit Joshi

4 859 kr

§§ 3a-7a
  • Nyhet

§§ 3a-7a

Tim Dornis, Jan Eichelberger, Jochen Glöckner

4 859 kr

Elementary Categories, Elementary Toposes
Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

2 159 kr

ICT for Intelligent Systems
  • Nyhet

ICT for Intelligent Systems

Jyoti Choudrie, Parikshit N. Mahalle, Thinagaran Perumal, Amit Joshi, Parikshit N Mahalle

4 859 kr

Intelligent Sustainable Systems
  • Nyhet

Intelligent Sustainable Systems

Nagar Atulya K., Jat Dharm Singh, Mishra Durgesh Kumar, Amit Joshi

4 859 kr

Research on the ‘One Blueprint’ of City-County Territory Spatial Planning
  • Nyhet

Research on the ‘One Blueprint’ of City-County Territory Spatial Planning

Wei Zuo

4 859 kr

Features and Fluents
Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

1 989 kr

Capitalism, Culture, and Economic Regulation
Del 3

Capitalism, Culture, and Economic Regulation

Leigh Hancher, Michael Moran, The Netherlands) Hancher, Leigh (Assistant Director, Institute for Energy Law, Assistant Director, Institute for Energy Law, University of Leiden, University of Manchester) Moran, Michael (Senior Lecturer, Department of Government, Senior Lecturer, Department of Government

4 859 kr

Proceedings of the 2024 Southern African Sustainable Energy Conference
  • Nyhet

Proceedings of the 2024 Southern African Sustainable Energy Conference

Cristina Trois, Richmore Kaseke, John Edison Sempiira

4 859 kr