Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(94)
Voronkov, Andrei. editor.
(9)
d’Amato, Claudia. editor.
(4)
Lukasiewicz, Thomas. editor.
(3)
Polleres, Axel. editor.
(3)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(79)
Software engineering.
(37)
Logic design.
(34)
Information systems.
(32)
Information storage and retrieval systems.
(27)
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ç
94 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Case-Based Approximate Reasoning için kapak resmi
Case-Based Approximate Reasoning
Yazar 
Hüllermeier, Eyke. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5695-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Robots, Reasoning, and Reification için kapak resmi
Robots, Reasoning, and Reification
Yazar 
Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-87488-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Neural-Symbolic Cognitive Reasoning için kapak resmi
Neural-Symbolic Cognitive Reasoning
Yazar 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Linked Data Storing, Querying, and Reasoning için kapak resmi
Linked Data Storing, Querying, and Reasoning
Yazar 
Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73515-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Case-Based Reasoning A Textbook için kapak resmi
Case-Based Reasoning A Textbook
Yazar 
Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334902.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Decentralized Reasoning in Ambient Intelligence için kapak resmi
Decentralized Reasoning in Ambient Intelligence
Yazar 
Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Cognitive Reasoning A Formal Approach için kapak resmi
Cognitive Reasoning A Formal Approach
Yazar 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Modelling and Reasoning with Vague Concepts için kapak resmi
Modelling and Reasoning with Vague Concepts
Yazar 
Lawry, Jonathan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30262-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
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:
11. 
Constraint Satisfaction Techniques for Agent-Based Reasoning için kapak resmi
Constraint Satisfaction Techniques for Agent-Based Reasoning
Yazar 
Neagu, Nicoleta. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137139
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings için kapak resmi
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Yazar 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç