Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(12)
Gabbay, Dov M., 1945-
(4)
Woods, John (John Hayden)
(4)
Cooper, Cynthia, CHT.
(2)
Adler, Mortimer Jerome, 1902-
(1)
Dil
Konu
Artificial intelligence.
(11)
Computer science.
(10)
Many-valued logic.
(4)
Nonmonotonic reasoning.
(4)
Reasoning.
(4)
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ç
30 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures için kapak resmi
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Yazar 
Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
Yazar 
Mellouli, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75256-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Yazar 
Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Bayesian rationality the probabilistic approach to human reasoning için kapak resmi
Bayesian rationality the probabilistic approach to human reasoning
Yazar 
Oaksford, M. (Mike) Chater, Nick.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Judicial Reasoning under the UK Human Rights Act için kapak resmi
Judicial Reasoning under the UK Human Rights Act
Yazar 
Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Model-Based Reasoning in Science, Technology, and Medicine için kapak resmi
Model-Based Reasoning in Science, Technology, and Medicine
Yazar 
Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71986-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
Yazar 
Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Quantitative reasoning and the environment : mathematical modeling in context için kapak resmi
Quantitative reasoning and the environment : mathematical modeling in context
Yazar 
Langkamp, Greg. Hull, Joseph.
Yer Numarası 
GE45.M38 L365 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
Handbook of modal logic için kapak resmi
Handbook of modal logic
Yazar 
Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
23. 
Dialectic için kapak resmi
Dialectic
Yazar 
Adler, Mortimer Jerome, 1902-
Yer Numarası 
BC 177 A4 1927 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
24. 
The many valued and non-monotonic turn in logic için kapak resmi
The many valued and non-monotonic turn in logic
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: