Dov M. Gabbay - Böcker

Visar alla böcker från författaren Dov M. Gabbay.

141 produkter

Böcker

141 produkter

Del 38

Del 38 - Oxford Logic Guides

Fibring Logics

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

Inbunden, Engelska, 1998

2 029 kr

Skickas inom 5-8 vardagar

Del 46

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 - Interpolation and Definability, Inbunden

Del 46 - Oxford Logic Guides

Interpolation and Definability

Av 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, Engelska, 2005

3 699 kr

Skickas inom 5-8 vardagar

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 - Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures, Inbunden

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

Av 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, Engelska, 1992

8 129 kr

Skickas inom 7-10 vardagar

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 - Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations, Inbunden

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

Av 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, Engelska, 1993

7 199 kr

Skickas inom 5-8 vardagar

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

Inbunden, Engelska, 1994

7 199 kr

Skickas inom 5-8 vardagar

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

Inbunden, Engelska, 1994

7 929 kr

Skickas inom 5-8 vardagar

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 - Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures, Inbunden

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

Av 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, Engelska, 1992

7 929 kr

Skickas inom 5-8 vardagar

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 - Handbook of Logic in Computer Science: Volume 3. Semantic Structures, Inbunden

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

Av 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, Engelska, 1995

7 199 kr

Skickas inom 5-8 vardagar

Del 40

Dov M Gabbay, M. Finger, M. Reynolds, King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science, Australia) Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Brazil) Reynolds, M. (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Dov M. Gabbay - Temporal Logic: Volume 2, Inbunden

Del 40 - Oxford Logic Guides

Temporal Logic: Volume 2

Av Dov M Gabbay, M. Finger, M. Reynolds, King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science, Australia) Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Brazil) Reynolds, M. (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Dov M. Gabbay

Inbunden, Engelska, 2000

4 859 kr

Skickas inom 5-8 vardagar

Del 28

Del 28 - Oxford Logic Guides

Temporal Logic: Volume 1

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

Inbunden, Engelska, 1994

6 099 kr

Skickas inom 7-10 vardagar

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 - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling, Inbunden

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

Av 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, Engelska, 1995

7 199 kr

Skickas inom 5-8 vardagar

Samson Abramsky, Dov M. Gabbay, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science - Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, Inbunden

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Av Samson Abramsky, Dov M. Gabbay, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science

Inbunden, Engelska, 2001

7 929 kr

Skickas inom 5-8 vardagar

Christopher John Hogger, Dov M. Gabbay, C.J. Hogger, J. A. Robinson, Professor of Computing) Gabbay, Dov M. (Professor of Computing, both t Imperial College) Hogger, C.J. (Department of Computing, Department of Computing, Syracuse University) Robinson, J. A. (Department of Computing, Department of Computing, D. M. Gabbay, C. Hogger - Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming, Inbunden

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Av Christopher John Hogger, Dov M. Gabbay, C.J. Hogger, J. A. Robinson, Professor of Computing) Gabbay, Dov M. (Professor of Computing, both t Imperial College) Hogger, C.J. (Department of Computing, Department of Computing, Syracuse University) Robinson, J. A. (Department of Computing, Department of Computing, D. M. Gabbay, C. Hogger

Inbunden, Engelska, 1998

7 929 kr

Skickas inom 5-8 vardagar

Del 33

Dov M. Gabbay, London) Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College - Labelled Deductive Systems, Inbunden

Del 33 - Oxford Logic Guides

Labelled Deductive Systems

Av Dov M. Gabbay, London) Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College

Inbunden, Engelska, 1996

2 169 kr

Skickas inom 3-6 vardagar

Del 4

Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, Sergey Goncharov, Dov M Gabbay, Sergei S Goncharov - Mathematical Problems from Applied Logic I, Inbunden

Del 4 - International Mathematical Series

Mathematical Problems from Applied Logic I

Av Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, Sergey Goncharov, Dov M Gabbay, Sergei S Goncharov

Inbunden, Engelska, 2005

2 099 kr

Skickas inom 10-15 vardagar

Del 1

Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver, M Gabbay, Dov, John, Woods - Greek, Indian and Arabic Logic, Inbunden

Del 1 - Handbook of the History of Logic

Greek, Indian and Arabic Logic

Av Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver, M Gabbay, Dov, John, Woods

Inbunden, Engelska, 2004

2 979 kr

Skickas inom 5-8 vardagar

Del 148

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay - Many-Dimensional Modal Logics: Theory and Applications, Inbunden

Del 148 - Studies in Logic and the Foundations of Mathematics

Many-Dimensional Modal Logics: Theory and Applications

Av A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden, Engelska, 2003

3 019 kr

Skickas inom 5-8 vardagar

Del 1

Del 1 - A Practical Logic of Cognitive Systems

Agenda Relevance: A Study in Formal Pragmatics

Av Dov M., Gabbay, D. M., Gabbay, Dov M. Gabbay, John Woods

Inbunden, Engelska, 2003

2 749 kr

Skickas inom 5-8 vardagar

Del 1

Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila, United Kingdom.) Fisher, Michael David (University of Liverpool, Liverpool, UK) Gabbay, Dov M. (King's College London, Spain.) Vila, Lluis (Universitat Politecnica de Catalunya, Barcelona - Handbook of Temporal Reasoning in Artificial Intelligence, Inbunden

Del 1 - Foundations of Artificial Intelligence

Handbook of Temporal Reasoning in Artificial Intelligence

Av Dov Gabbay, Lluis Vila, Michael David Fisher, Dov M. Gabbay, Lluis Vila, United Kingdom.) Fisher, Michael David (University of Liverpool, Liverpool, UK) Gabbay, Dov M. (King's College London, Spain.) Vila, Lluis (Universitat Politecnica de Catalunya, Barcelona

Inbunden, Engelska, 2005

4 339 kr

Skickas inom 5-8 vardagar

Philosophy of Psychology and Cognitive Science

Av THAGARD P., Dov M. Gabbay, John Woods

Inbunden, Engelska, 2006

2 269 kr

Skickas måndag 10/11

Philosophy of Anthropology and Sociology

Av Dov M. Gabbay, Paul Thagard, Stephen P. Turner, Mark W. Risjord

Inbunden, Engelska, 2006

3 129 kr

Skickas inom 7-10 vardagar

Philosophy of Biology

Av M. Matthen M., C. Stephens C., Dov M. Gabbay, Paul Thagard

Inbunden, Engelska, 2007

3 249 kr

Skickas inom 5-8 vardagar

General Philosophy of Science: Focal Issues

Av Theo A. F. Kuipers, Dov M. Gabbay, Paul Thagard

Inbunden, Engelska, 2007

2 749 kr

Skickas inom 5-8 vardagar

Philosophy of Mathematics

Av Andrew Irvine, Dov M. Gabbay, Paul Thagard

Inbunden, Engelska, 2009

2 379 kr

Skickas inom 7-10 vardagar

Del 4

Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver - British Logic in the Nineteenth Century, Inbunden

Del 4 - Handbook of the History of Logic

British Logic in the Nineteenth Century

Av Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver

Inbunden, Engelska, 2008

4 569 kr

Skickas inom 5-8 vardagar

Del 3

Del 3 - Handbook of the History of Logic

The Rise of Modern Logic: from Leibniz to Frege

Av Dov M. Gabbay, John Woods, Dov M Gabbay

Inbunden, Engelska, 2004

3 489 kr

Skickas inom 7-10 vardagar

Del 5

Del 5 - Handbook of the History of Logic

Logic from Russell to Church

Av Dov M. Gabbay, John Woods

Inbunden, Engelska, 2009

3 209 kr

Skickas inom 7-10 vardagar

Del 6

Del 6 - Handbook of the History of Logic

Sets and Extensions in the Twentieth Century

Av Dov M. Gabbay, Akihiro Kanamori

Inbunden, Engelska, 2012

2 929 kr

Skickas inom 7-10 vardagar

Del 7

Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver, James Woods - Logic and the Modalities in the Twentieth Century, Inbunden

Del 7 - Handbook of the History of Logic

Logic and the Modalities in the Twentieth Century

Av Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver, James Woods

Inbunden, Engelska, 2006

3 549 kr

Skickas inom 5-8 vardagar

Del 8

Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver - The Many Valued and Nonmonotonic Turn in Logic, Inbunden

Del 8 - Handbook of the History of Logic

The Many Valued and Nonmonotonic Turn in Logic

Av Dov M. Gabbay, John Woods, UK) Gabbay, Dov M. (King's College London, Canada) Woods, John (University of British Columbia, Vancouver

Inbunden, Engelska, 2007

4 809 kr

Skickas inom 3-6 vardagar

Dov M. Gabbay - Böcker

Kategorier

Böcker

Språk

Pris

Bokformat

Utgivare

Utgivningsår

Fibring Logics

Interpolation and Definability

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

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

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

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

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

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

Temporal Logic: Volume 2

Temporal Logic: Volume 1

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

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Labelled Deductive Systems

Mathematical Problems from Applied Logic I

Greek, Indian and Arabic Logic

Many-Dimensional Modal Logics: Theory and Applications

Agenda Relevance: A Study in Formal Pragmatics

Handbook of Temporal Reasoning in Artificial Intelligence

Philosophy of Psychology and Cognitive Science

Philosophy of Anthropology and Sociology

Philosophy of Biology

General Philosophy of Science: Focal Issues

Philosophy of Mathematics

British Logic in the Nineteenth Century

The Rise of Modern Logic: from Leibniz to Frege

Logic from Russell to Church

Sets and Extensions in the Twentieth Century

Logic and the Modalities in the Twentieth Century

The Many Valued and Nonmonotonic Turn in Logic