Arama Sonuçları Gabbay, Dov. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGabbay$00252C$002bDov.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026ps$003d300?
2024-11-17T21:39:50Z
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335100.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Approaches to Legal Rationality
ent://SD_ILS/0/SD_ILS:205533
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9588-6">http://dx.doi.org/10.1007/978-90-481-9588-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Revision, Acceptability and Context Theoretical and Algorithmic Aspects
ent://SD_ILS/0/SD_ILS:192565
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Gabbay, Dov M. author. Rodrigues, Odinaldo T. author. Russo, Alessandra. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14159-1">http://dx.doi.org/10.1007/978-3-642-14159-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of temporal reasoning in artificial intelligence
ent://SD_ILS/0/SD_ILS:253803
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proof Theory for Fuzzy Logics
ent://SD_ILS/0/SD_ILS:170527
2024-11-17T21:39:50Z
2024-11-17T21:39:50Z
Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>