Hoppa till sidans huvudinnehåll

4 769 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
  • SerieDel 40 i Oxford 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

1 999 kr

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner

1 369 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 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 139 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

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

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

2 359 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 879 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

2 859 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 629 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 069 kr

Foundations without Foundationalism
Del 17

Foundations without Foundationalism

Stewart Shapiro, Ohio State University) Shapiro, Stewart (Professor of Philosophy, Professor of Philosophy

2 819 kr

Cantorian Set Theory and Limitation of Size
Del 10

Cantorian Set Theory and Limitation of Size

Michael Hallett

3 139 kr

Positive Topology

Positive Topology

Giovanni Sambin

1 999 kr

Groups of Finite Morley Rank
Del 26

Groups of Finite Morley Rank

Alexandre Borovik, Ali Nesin, University of Manchester Institute of Science and Technology) Borovik, Alexandre (Lecturer in Mathematics, Lecturer in Mathematics, University of California at Irvine) Nesin, Ali (Associate Professor of Mathematics, Associate Professor of Mathematics

3 239 kr