Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(69)
Kizza, Joseph Migga. author.
(3)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Gutwirth, Serge. editor.
(2)
Hoek, Wiebe.
(2)
Dil
Yayın Yılı
-
Konu
Philosophy (General).
(41)
Logic.
(24)
Artificial intelligence.
(23)
Logic, Symbolic and mathematical.
(15)
Science -- Philosophy.
(13)
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ç
70 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Dynamic Epistemic Logic için kapak resmi
Dynamic Epistemic Logic
Yazar 
Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
The Reality of the Artificial Nature, Technology and Naturoids için kapak resmi
The Reality of the Artificial Nature, Technology and Naturoids
Yazar 
Negrotti, Massimo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29679-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence için kapak resmi
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Yazar 
Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9911-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties için kapak resmi
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Yazar 
Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size için kapak resmi
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Yazar 
Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Semantic Web Technologies and Legal Scholarly Publishing için kapak resmi
Semantic Web Technologies and Legal Scholarly Publishing
Yazar 
Peroni, Silvio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04777-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
On computing the fourth great scientific domain için kapak resmi
On computing the fourth great scientific domain
Yazar 
Rosenbloom, Paul S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451064
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik için kapak resmi
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Yazar 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333036.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
The Secure Information Society Ethical, Legal and Political Challenges için kapak resmi
The Secure Information Society Ethical, Legal and Political Challenges
Yazar 
Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331051.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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:
11. 
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:
12. 
Paraconsistency: Logic and Applications için kapak resmi
Paraconsistency: Logic and Applications
Yazar 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335759.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç