Skip to contents Gabbay, Dov M. [Editor] Handbook of the philosophy of science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2007-2012 Gabbay, Dov M. [Editor] Mathematical problems from applied logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2006-2007 Published in: International Mathematical Series ; . Gabbay, Dov M. [Editor] Handbook of philosophical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Heidelberg [u.a.]: Springer, 2001- ; Dordrecht [u.a.]: Kluwer Acad. Publ., bis Bd. 13 Gabbay, Dov M. [Other] Many-dimensional modal logics : theory and applications - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2003 Published in: Studies in logic and the foundations of mathematics ; 148 Gabbay, Dov M. [Editor] Frontiers of combining systems 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Baldock: Research Studies Press, 2000 Published in: Studies in logic and computation ; 7 Gabbay, Dov M. [Editor] Handbook of defeasible reasoning and uncertainty management systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, 1998- Gabbay, Dov M. [Other] Handbook of defeasible reasoning and uncertainty management systems / 4, Abductive reasoning and learning / vol. ed.: Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Kluwer, 2000 Published in: Handbook of defeasible reasoning and uncertainty management systems / ed.: Dov M. Gabbay ... ; 4 Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1999 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr. Gabbay, Dov M. [Editor] Logic, grammar and language Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Hermes Science, 2000 Published in: Language and computation ; 1,1 Gabbay, Dov M. [Editor] ; International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Lecture notes in computer science ; 1244 Gabbay, Dov M. [Editor] ; International Conference on Formal and Applied Practical Reasoning 1996 Bonn Practical reasoning : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1085 Gabbay, Dov M. [Editor] Handbook of logic in artificial intelligence and logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon Press, 1993-2002 Published in: Handbooks of logic in computer science and artificial intelligence and logic programming- Oxford science publications Gabbay, Dov M. [Other] Handbook of logic in computer science / 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2 Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1 Gabbay, Dov M. [Editor] ; ICTL 1 1994 Bonn Temporal logic : first International Conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 827 Gabbay, Dov M. [Editor] What is a logical system? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon Press, 1994 Published in: Studies in logic and computation ; 4 Gabbay, Dov M. [Editor] Handbook of philosophical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1983-1994 Published in: Synthese library ; . Gabbay, Dov M. [Author] Fibring logics - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon, 2002 Published in: Oxford logic guides ; 38,2002 Gabbay, Dov M. [Author] Fibring logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon, 1999 Published in: Oxford logic guides ; 3800 Gabbay, Dov M. [Author] Labelled deductive systems / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1996 Published in: Labelled deductive systems / Dov M. Gabbay ; 1 - Oxford logic guides ; 33
Gabbay, Dov M. [Editor] Handbook of the philosophy of science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2007-2012
Gabbay, Dov M. [Editor] Mathematical problems from applied logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2006-2007 Published in: International Mathematical Series ; .
Gabbay, Dov M. [Editor] Handbook of philosophical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Heidelberg [u.a.]: Springer, 2001- ; Dordrecht [u.a.]: Kluwer Acad. Publ., bis Bd. 13
Gabbay, Dov M. [Other] Many-dimensional modal logics : theory and applications - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam; Heidelberg [u.a.]: Elsevier, 2003 Published in: Studies in logic and the foundations of mathematics ; 148
Gabbay, Dov M. [Editor] Frontiers of combining systems 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Baldock: Research Studies Press, 2000 Published in: Studies in logic and computation ; 7
Gabbay, Dov M. [Editor] Handbook of defeasible reasoning and uncertainty management systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, 1998-
Gabbay, Dov M. [Other] Handbook of defeasible reasoning and uncertainty management systems / 4, Abductive reasoning and learning / vol. ed.: Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht: Kluwer, 2000 Published in: Handbook of defeasible reasoning and uncertainty management systems / ed.: Dov M. Gabbay ... ; 4
Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1999 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr.
Gabbay, Dov M. [Editor] Logic, grammar and language Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Hermes Science, 2000 Published in: Language and computation ; 1,1
Gabbay, Dov M. [Editor] ; International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9-12, 1997 Proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 1997 Published in: Lecture notes in computer science ; 1244
Gabbay, Dov M. [Editor] ; International Conference on Formal and Applied Practical Reasoning 1996 Bonn Practical reasoning : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1085
Gabbay, Dov M. [Editor] Handbook of logic in artificial intelligence and logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon Press, 1993-2002 Published in: Handbooks of logic in computer science and artificial intelligence and logic programming- Oxford science publications
Gabbay, Dov M. [Other] Handbook of logic in computer science / 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2
Gabbay, Dov M. [Other] Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1992 Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1
Gabbay, Dov M. [Editor] ; ICTL 1 1994 Bonn Temporal logic : first International Conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 827
Gabbay, Dov M. [Editor] What is a logical system? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon Press, 1994 Published in: Studies in logic and computation ; 4
Gabbay, Dov M. [Editor] Handbook of philosophical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel, 1983-1994 Published in: Synthese library ; .
Gabbay, Dov M. [Author] Fibring logics - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon, 2002 Published in: Oxford logic guides ; 38,2002
Gabbay, Dov M. [Author] Fibring logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Clarendon, 1999 Published in: Oxford logic guides ; 3800
Gabbay, Dov M. [Author] Labelled deductive systems / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Clarendon Press, 1996 Published in: Labelled deductive systems / Dov M. Gabbay ; 1 - Oxford logic guides ; 33
> Media type Skip to next facet Articles (143) Wert ausschließen Books (63) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (19) Wert ausschließen Stack Collection (12) Wert ausschließen Ask for availability (5) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (20) Wert ausschließen Departmental Library DrePunct (17) Wert ausschließen TU Dresden holdings (4) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (17) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (148) Wert ausschließen Show more show less
> Language Skip to next facet English (176) Wert ausschließen Not determined (28) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (89) Wert ausschließen Philosophy (75) Wert ausschließen Computer science (40) Wert ausschließen History (22) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (12) Wert ausschließen Art and art history (3) Wert ausschließen Technology (3) Wert ausschließen Chemistry and pharmacology (2) Wert ausschließen Psychology (2) Wert ausschließen Physics (1) Wert ausschließen Jurisprudence (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Gabbay, Dov M. (191) Wert ausschließen van der Torre, Leendert (16) Wert ausschließen Boella, Guido (12) Wert ausschließen Woods, John (11) Wert ausschließen Villata, Serena (9) Wert ausschließen Szałas, Andrzej (8) Wert ausschließen GABBAY, DOV M. (7) Wert ausschließen Schlechta, Karl (7) Wert ausschließen ScienceDirect (Online service) (6) Wert ausschließen Genovese, Valerio (5) Wert ausschließen Woods, John Hayden (5) Wert ausschließen Abraham, M. (4) Wert ausschließen Giacomin, Massimiliano (4) Wert ausschließen Hodkinson, Ian (4) Wert ausschließen Ohlbach, Hans Jürgen (4) Wert ausschließen Olivetti, Nicola (4) Wert ausschließen Reynolds, Mark (4) Wert ausschließen Caminada, Martin (3) Wert ausschließen D'Agostino, Marcello (3) Wert ausschließen D'Avila Garcez, Artur S. (3) Wert ausschließen Finger, Marcelo (3) Wert ausschließen Gabbay, Dov (3) Wert ausschließen Lamb, Luis C. (3) Wert ausschließen Perotti, Alan (3) Wert ausschließen SCHLECHTA, KARL (3) Wert ausschließen Schild, Uri (3) Wert ausschließen Abraham, Michael (2) Wert ausschließen Barker, Steve (2) Wert ausschließen Baroni, Pietro (2) Wert ausschließen Bochman, Alexander (2) Wert ausschließen Dov M. Gabbay and Massimiliano Giacomin and Beishui Liao and Leendert van der Torre (2) Wert ausschließen Engesser, Kurt (2) Wert ausschließen Gabbay, Dov M (2) Wert ausschließen Garcez, Artur S. d’Avila (2) Wert ausschließen ICTL 1 1994 Bonn (2) Wert ausschließen International Conference on Formal and Applied Practical Reasoning 1996 Bonn (2) Wert ausschließen KASHER, ASA (2) Wert ausschließen Lamb, Luís C. (2) Wert ausschließen Liao, Beishui (2) Wert ausschließen Marcelino, Sérgio (2) Wert ausschließen Reyle, Uwe (2) Wert ausschließen Schild, U. (2) Wert ausschließen Schild, Uri J. (2) Wert ausschließen Schmidt, Renate A. (2) Wert ausschließen Skvortsov, Dmitrij P. (2) Wert ausschließen Wansing, Heinrich (2) Wert ausschließen Wu, Yining (2) Wert ausschließen d’Avila Garcez, Artur S. (2) Wert ausschließen Šechtman, Valentin B. (2) Wert ausschließen Abramsky, Samson (1) Wert ausschließen Alonso, Enrique (1) Wert ausschließen Amir, Amihood (1) Wert ausschließen Artemov, Sergej N. (1) Wert ausschließen Baaz, Matthias (1) Wert ausschließen Bar-Lev, Zev (1) Wert ausschließen Barringer, Howard (1) Wert ausschließen Basin, David (1) Wert ausschließen Boger, George (1) Wert ausschließen Broda, Krysia (1) Wert ausschließen Burnett, Charles (1) Wert ausschließen Caminada, Martin W. A. (1) Wert ausschließen Carnielli, Walter (1) Wert ausschließen Carnielli, Walter Alexandre (1) Wert ausschließen Ciabattoni, Agata (1) Wert ausschließen Conforti, Claudio M. (1) Wert ausschließen Coniglio, Marcelo (1) Wert ausschließen Crochemore, Maxime (1) Wert ausschließen D'Agosting, Marcello (1) Wert ausschließen David, Esther (1) Wert ausschließen Dov M. Gabbay and Hans Jürgen Ohlbach (1) Wert ausschließen Gabbay, Dov. M. (1) Wert ausschließen Gabbay, DovM (1) Wert ausschließen Ganeri, Jonardon (1) Wert ausschließen Garcez, Artur S. d'Avila (1) Wert ausschließen Giordano, Laura (1) Wert ausschließen Gouveia, Paula (1) Wert ausschließen Guido Boella (1) Wert ausschließen Hazut, Gabriel (1) Wert ausschließen Hetzl, Stefan (1) Wert ausschließen Hogger, Christopher John (1) Wert ausschließen Horne, Ross (1) Wert ausschließen Hulstijn, Joris (1) Wert ausschließen Hölldobler, Steffen (1) Wert ausschließen International Joint Conference on Qualitative and Quantitative Practical Reasoning 1 1997 Honnef (1) Wert ausschließen Irvine, Andrew (1) Wert ausschließen Jasso Méndez, Jesús (1) Wert ausschließen Jennings, Raymond E. (1) Wert ausschließen Johnson, Fred (1) Wert ausschließen Johnson, Ralph H. (1) Wert ausschließen Kamp, Hans (1) Wert ausschließen Kempson, Ruth (1) Wert ausschließen Kempson, Ruth M. (1) Wert ausschließen Koppel, Moshe (1) Wert ausschließen Kriwaczek, Frank (1) Wert ausschließen Kruse, Rudolf (1) Wert ausschließen Lehmann, Daniel (1) Wert ausschließen MORAVCSIK, J. M. E. (1) Wert ausschließen Maibaum, Thomas S. E. (1) Wert ausschließen Maksimova, L. L. (1) Wert ausschließen Maksimova, Larisa L. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (52) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (44) Wert ausschließen JSTOR Mathematics & Statistics (29) Wert ausschließen JSTOR Arts & Sciences VII Archive (22) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (13) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (13) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (11) Wert ausschließen Elsevier (CrossRef) (9) Wert ausschließen JSTOR Arts & Sciences I Archive (7) Wert ausschließen Oxford University Press (OUP) (CrossRef) (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (4) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen Informa UK Limited (CrossRef) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Universidad Autonoma de la Ciudad de Mexico (CrossRef) (1) Wert ausschließen Show more show less