Search Results for Application software - Narrowed by: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dApplication$002bsoftware$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T09:48:47Z Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2&ndash;4, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486010 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Sun, Xiaoming. editor.&#160;He, Kun. editor.&#160;Chen, Xiaoyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486169 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Blackburn, Patrick. editor.&#160;Lorini, Emiliano. editor.&#160;Guo, Meiyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14&ndash;17, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486431 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Zhao, Jun. editor.&#160;Harmelen, Frank van. editor.&#160;Tang, Jie. editor.&#160;Han, Xianpei. editor.&#160;Wang, Quan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3146-6">https://doi.org/10.1007/978-981-13-3146-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486827 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946&#160;Eder, Johann. editor. (orcid)0000-0001-6050-468X&#160;Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868&#160;Wrembel, Robert. editor. (orcid)0000-0001-6037-5718&#160;Ivanovi&#263;, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24&ndash;26, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486866 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;MacIntyre, John. editor.&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor.&#160;Pimenidis, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19823-7">https://doi.org/10.1007/978-3-030-19823-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&amp;TC 2019, Rhodes, Greece, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483434 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Hepp, Martin. editor.&#160;Lewis, Dave. editor.&#160;Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483256 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Uden, Lorna. editor.&#160;Ting, I-Hsien. editor.&#160;Corchado, Juan Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28&ndash;31, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486610 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X&#160;William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485606 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Cornelis, Chris. editor.&#160;Kryszkiewicz, Marzena. editor.&#160;Slezak, Dominik. editor.&#160;Menasalvas Ruiz, Ernestina. editor.&#160;Bello, Rafael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08644-6">https://doi.org/10.1007/978-3-319-08644-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:486691 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08855-6">https://doi.org/10.1007/978-3-319-08855-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486886 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Abadi, Mart&iacute;n. editor.&#160;Lluch Lafuente, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05119-2">https://doi.org/10.1007/978-3-319-05119-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III ent://SD_ILS/0/SD_ILS:487786 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08852-5">https://doi.org/10.1007/978-3-319-08852-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482713 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Goertzel, Ben. editor.&#160;Orseau, Laurent. editor.&#160;Snaider, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09274-4">https://doi.org/10.1007/978-3-319-09274-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488931 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Zaverucha, Gerson. editor.&#160;Santos Costa, V&iacute;tor. editor.&#160;Paes, Aline. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489599 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Bulling, Nils. editor.&#160;van der Torre, Leendert. editor.&#160;Villata, Serena. editor. (orcid)0000-0003-3495-493X&#160;Jamroga, Wojtek. editor.&#160;Vasconcelos, Wamberto. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09764-0">https://doi.org/10.1007/978-3-319-09764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485507 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Baptista, Jorge. editor.&#160;Mamede, Nuno. editor.&#160;Candeias, Sara. editor.&#160;Paraboni, Ivandr&eacute;. editor.&#160;Pardo, Thiago A.S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09761-9">https://doi.org/10.1007/978-3-319-09761-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485652 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Nakano, Yukiko. editor.&#160;Satoh, Ken. editor.&#160;Bekki, Daisuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10061-6">https://doi.org/10.1007/978-3-319-10061-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:485824 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Laurent, Anne. editor.&#160;Strauss, Olivier. editor.&#160;Bouchon-Meunier, Bernadette. editor.&#160;Yager, Ronald R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08795-5">https://doi.org/10.1007/978-3-319-08795-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489054 2024-12-23T09:48:47Z 2024-12-23T09:48:47Z Author&#160;Maffei, Matteo. editor.&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45917-1">https://doi.org/10.1007/978-3-662-45917-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>