Hoppa till sidans huvudinnehåll

4 779 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 38

Fibring Logics

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

Inbunden

1 979 kr

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

Inbunden

3 619 kr

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

Inbunden

8 139 kr

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

Inbunden

7 059 kr

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

Inbunden

7 069 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, 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

Inbunden

7 769 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, 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

Inbunden

7 769 kr

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

Inbunden

7 069 kr

Del 28

Temporal Logic: Volume 1

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

Inbunden

5 989 kr

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

Inbunden

8 889 kr

Hoppa över listan

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden

4 289 kr

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

Inbunden

1 589 kr

Del 38

Fibring Logics

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

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

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

Inbunden

3 619 kr

Hoppa över listan

Du kanske också är intresserad av

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

Inbunden

1 909 kr

Del 53

Simplicity Theory

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

Inbunden

1 879 kr

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

Inbunden

1 589 kr

Del 47

Set Theory

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

Häftad

629 kr

Del 25

Many-Valued Logics

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

Inbunden

2 029 kr