Hoppa till sidans huvudinnehåll

5 409 kr

Beställningsvara. Skickas inom 7-10 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

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner

2 079 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner

1 419 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

8 889 kr

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 049 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

4 509 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 219 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

8 889 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

8 889 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

9 739 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

9 739 kr

Hoppa över listan

Du kanske också är intresserad av

Elementary Categories, Elementary Toposes
Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

3 429 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 999 kr

Simplicity Theory
Del 53

Simplicity Theory

Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University

1 939 kr

The Structure of Models of Peano Arithmetic
Del 50

The Structure of Models of Peano Arithmetic

Roman Kossak, James Schmerl, Roman (City University of New York) Kossak, Storrs) Schmerl, James (University of Connecticut, James H. Schmerl

3 519 kr

Recursion Theory for Metamathematics
Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

4 839 kr

Sketches of an Elephant: A Topos Theory Compendium
Del 44

Sketches of an Elephant: A Topos Theory Compendium

Peter T. Johnstone, UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, JOHNSTONE, Johnstone

6 169 kr

Twenty Five Years of Constructive Type Theory
Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

1 639 kr

From Sets and Types to Topology and Analysis
Del 48

From Sets and Types to Topology and Analysis

Laura Crosilla, Peter Schuster, Laura (Universite di Firenze) Crosilla, Universitaet Munich) Schuster, Peter (Mathematical Institut

4 689 kr

Many-Valued Logics
Del 25

Many-Valued Logics

Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

2 089 kr

Set Theory
Del 47

Set Theory

John L. Bell, J. L. Bell, J L Bell

1 309 kr