Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Gabbay, Dov M. author.
(4)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Gupta, Amitabha. editor.
(2)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(49)
Computer science.
(29)
Philosophy (General).
(29)
Mathematics.
(20)
Science -- Philosophy.
(16)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
60 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Cognitive Reasoning A Formal Approach için kapak resmi
Cognitive Reasoning A Formal Approach
Yazar 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Explaining Games The Epistemic Programme in Game Theory için kapak resmi
Explaining Games The Epistemic Programme in Game Theory
Yazar 
de Bruin, Boudewijn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logical Tools for Handling Change in Agent-Based Systems için kapak resmi
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:
4. 
Logic and Philosophy of Mathematics in the Early Husserl için kapak resmi
Logic and Philosophy of Mathematics in the Early Husserl
Yazar 
Centrone, Stefania. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Natural Deduction, Hybrid Systems and Modal Logics için kapak resmi
Natural Deduction, Hybrid Systems and Modal Logics
Yazar 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logicism, Intuitionism, and Formalism What has Become of Them? için kapak resmi
Logicism, Intuitionism, and Formalism What has Become of Them?
Yazar 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Games: Unifying Logic, Language, and Philosophy için kapak resmi
Games: Unifying Logic, Language, and Philosophy
Yazar 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Proof Theory for Fuzzy Logics için kapak resmi
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:
9. 
Information and Knowledge A Constructive Type-theoretical Approach için kapak resmi
Information and Knowledge A Constructive Type-theoretical Approach
Yazar 
Primiero, Giuseppe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems için kapak resmi
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:
11. 
Constructive Negations and Paraconsistency için kapak resmi
Constructive Negations and Paraconsistency
Yazar 
Odintsov, Sergei P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler için kapak resmi
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Yazar 
Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç