Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(50)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Hoek, Wiebe.
(2)
Kanamori, Akihiro. editor.
(2)
Zermelo, Ernst. author.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(41)
Logic.
(19)
Artificial intelligence.
(13)
Logic, Symbolic and mathematical.
(12)
Genetic epistemology.
(9)
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ç
50 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding için kapak resmi
Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding
Yazar 
Wiertlewski, Michaël. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331074.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4841-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
State Space Grids Depicting Dynamics Across Development için kapak resmi
State Space Grids Depicting Dynamics Across Development
Yazar 
Hollenstein, Tom. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331646.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5007-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Omnisophie-Trilogie Omnisophie - Supramanie - Topothesie için kapak resmi
Omnisophie-Trilogie Omnisophie - Supramanie - Topothesie
Yazar 
Dueck, Gunter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337146.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34877-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Menschen, Tiere und Max Natürliche Kommunikation und künstliche Intelligenz için kapak resmi
Menschen, Tiere und Max Natürliche Kommunikation und künstliche Intelligenz
Yazar 
Wachsmuth, Ipke. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338287.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-3014-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Truth and Falsehood An Inquiry into Generalized Logical Values için kapak resmi
Truth and Falsehood An Inquiry into Generalized Logical Values
Yazar 
Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0907-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Second Generation Biometrics: The Ethical, Legal and Social Context için kapak resmi
Second Generation Biometrics: The Ethical, Legal and Social Context
Yazar 
Mordini, Emilio. editor. Tzovaras, Dimitros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-3892-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
MATLAB for Psychologists için kapak resmi
MATLAB for Psychologists
Yazar 
Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-2197-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Hybrid Logic and its Proof-Theory için kapak resmi
Hybrid Logic and its Proof-Theory
Yazar 
Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Gentzen Calculi for Modal Propositional Logic için kapak resmi
Gentzen Calculi for Modal Propositional Logic
Yazar 
Poggiolesi, Francesca. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9670-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Dynamic Formal Epistemology için kapak resmi
Dynamic Formal Epistemology
Yazar 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Proof, Computation and Agency Logic at the Crossroads için kapak resmi
Proof, Computation and Agency Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminology için kapak resmi
Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminology
Yazar 
Ahmad, Khurshid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1757-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç