Arama Sonuçları Reasoning. - Daraltılmış: Computational complexity.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dReasoning.$0026qf$003dSUBJECT$002509Konu$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026ps$003d300?dt=list
2024-11-21T23:22:58Z
Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401227
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91379-7">https://doi.org/10.1007/978-3-319-91379-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192577
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186004
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189332
2024-11-21T23:22:58Z
2024-11-21T23:22:58Z
Yazar Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>