Search Results for Gabbay, Dov.

1.

Reactive Kripke Semantics

Yazar

Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335100.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41389-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Conditionals and Modularity in General Logics

Yazar

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19068-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Approaches to Legal Rationality

Yazar

Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9588-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Handbook of Philosophical Logic Volume 16

Yazar

Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0479-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Handbook of Philosophical Logic Volume 15

Yazar

Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-0485-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logical Tools for Handling Change in Agent-Based Systems

Yazar

Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04407-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Revision, Acceptability and Context Theoretical and Algorithmic Aspects

Yazar

Gabbay, Dov M. author. Rodrigues, Odinaldo T. author. Russo, Alessandra. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-14159-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Mathematical Problems from Applied Logic II Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-69245-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Proof Theory for Fuzzy Logics

Yazar

Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9409-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Neural-Symbolic Cognitive Reasoning

Yazar

d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73246-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Yazar

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}