Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(307)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(121)
Computer science.
(94)
Software engineering.
(40)
Information systems.
(34)
Logic design.
(34)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
437 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Legal reasoning and legal theory için kapak resmi
Legal reasoning and legal theory
Yazar 
MacCormick, Neil.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Qualitative reasoning about physical systems için kapak resmi
Qualitative reasoning about physical systems
Yazar 
Bobrow, Daniel G. (Daniel Gureasko), 1935-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Automated Reasoning for Systems Biology and Medicine için kapak resmi
Automated Reasoning for Systems Biology and Medicine
Yazar 
Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17297-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Reasoning : the neuroscience of how we think için kapak resmi
Reasoning : the neuroscience of how we think
Yazar 
Krawczyk, Daniel, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Workflow Modeling Assistance by Case-based Reasoning için kapak resmi
Workflow Modeling Assistance by Case-based Reasoning
Yazar 
Müller, Gilbert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-23559-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Commonsense reasoning an event calculus-based approach için kapak resmi
Commonsense reasoning an event calculus-based approach
Yazar 
Mueller, Erik T., author.
Yer Numarası 
ONLINE(355437.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Computational Approaches to Analogical Reasoning: Current Trends için kapak resmi
Computational Approaches to Analogical Reasoning: Current Trends
Yazar 
Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54516-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Domain-Level Reasoning for Spoken Dialogue Systems için kapak resmi
Domain-Level Reasoning for Spoken Dialogue Systems
Yazar 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Mathematical reasoning patterns, problems, conjectures, and proofs için kapak resmi
Mathematical reasoning patterns, problems, conjectures, and proofs
Yazar 
Nickerson, Raymond S.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Teaching Mathematical Reasoning in Secondary School Classrooms için kapak resmi
Teaching Mathematical Reasoning in Secondary School Classrooms
Yazar 
Brodie, Karin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-09742-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Handbook of Practical Logic and Automated Reasoning için kapak resmi
Handbook of Practical Logic and Automated Reasoning
Yazar 
Harrison, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç