|
|
1.
|
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
by Gabbay, Dov M | Goncharov, Sergei S | Zakharyaschev, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
2.
|
Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov.
by Gabbay, Dov M | Zakharyaschev, Michael | Goncharov, Sergei S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
|
|
|
3.
|
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
by Carnielli, Walter | Coniglio, Marcelo | Gabbay, Dov M | Gouveia, Paula | Sernadas, Cristina | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Knowledge Representation and the Semantics of Natural Language [electronic resource] / by Hermann Helbig ; edited by Dov M. Gabbay, Jörg Siekmann.
by Helbig, Hermann | Gabbay, Dov M | Siekmann, Jörg | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay.
by d’Avila Garcez, Artur S | Lamb, Luís C | Gabbay, Dov M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
6.
|
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta.
by Gabbay, Dov M | Schlechta, Karl | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.
by Gabbay, Dov M | Rodrigues, Odinaldo T | Russo, Alessandra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta.
by Gabbay, Dov M | Schlechta, Karl | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
9.
|
Approaches to Legal Rationality [electronic resource] / edited by Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin.
by Gabbay, Dov M | Canivez, Patrice | Rahman, Shahid | Thiercelin, Alexandre | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
10.
|
Handbook of Philosophical Logic [electronic resource] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M | Guenthner, Franz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
11.
|
Handbook of Philosophical Logic [electronic resource] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M | Guenthner, Franz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12.
|
Handbook of Philosophical Logic [electronic resource] : Volume 17 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [editor.] | Guenthner, Franz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
13.
|
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay.
by Gabbay, Dov M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta.
by Gabbay, Dov M [author.] | Schlechta, Karl [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
15.
|
Approaches to Legal Rationality [electronic resource] / edited by Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin.
by Gabbay, Dov M [editor.] | Canivez, Patrice [editor.] | Rahman, Shahid [editor.] | Thiercelin, Alexandre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
16.
|
Handbook of Philosophical Logic [electronic resource] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [editor.] | Guenthner, Franz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
17.
|
Handbook of Philosophical Logic [electronic resource] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [editor.] | Guenthner, Franz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
18.
|
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta.
by Gabbay, Dov M [author.] | Schlechta, Karl [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
19.
|
Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.
by Gabbay, Dov M [author.] | Rodrigues, Odinaldo T [author.] | Russo, Alessandra [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|