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. 
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:
14. 
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings için kapak resmi
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Yazar 
Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Yazar 
Olivetti, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings için kapak resmi
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
Yazar 
Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74141-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
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:
18. 
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:
19. 
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:
20. 
Adversarial reasoning computational approaches to reading the opponent's mind için kapak resmi
Adversarial reasoning computational approaches to reading the opponent's mind
Yazar 
Kott, Alexander W. McEneaney, William M.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~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. 
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:
23. 
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:
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: