Search Results for - Narrowed by: Mathematical logic. - Computer Appl. in Administrative Data Processing. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bAppl.$002bin$002bAdministrative$002bData$002bProcessing.$002509Computer$002bAppl.$002bin$002bAdministrative$002bData$002bProcessing.$0026ps$003d300? 2024-05-09T13:56:05Z Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428336 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Guizzardi, Giancarlo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format:&#160;Electronic Resources<br/> Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20&ndash;24, 2019, Tutorial Lectures ent://SD_ILS/0/SD_ILS:428684 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Kr&ouml;tzsch, Markus. editor. (orcid)0000-0002-9172-2601<br/><a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format:&#160;Electronic Resources<br/> Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427802 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:427864 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Lutz, Carsten. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<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:429038 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Zhao, Jun. editor.<br/><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/> Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429045 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Fodor, Paul. editor. (orcid)0000-0002-2978-676X<br/><a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format:&#160;Electronic Resources<br/> Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427853 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Uden, Lorna. editor.<br/><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/> Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427869 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Cristea, Diana. editor. (orcid)0000-0003-1440-3786<br/><a href="https://doi.org/10.1007/978-3-030-21462-3">https://doi.org/10.1007/978-3-030-21462-3</a><br/>Format:&#160;Electronic Resources<br/> AI*IA 2019 &ndash; Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19&ndash;22, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427795 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Alviano, Mario. editor. (orcid)0000-0002-2052-2063<br/><a href="https://doi.org/10.1007/978-3-030-35166-3">https://doi.org/10.1007/978-3-030-35166-3</a><br/>Format:&#160;Electronic Resources<br/> Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428495 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Cuzzocrea, Alfredo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format:&#160;Electronic Resources<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:24858 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Murata, Tsuyoshi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48119-6">http://dx.doi.org/10.1007/978-3-662-48119-6</a><br/>Format:&#160;Electronic Resources<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:21442 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Nakano, Yukiko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10061-6">http://dx.doi.org/10.1007/978-3-319-10061-6</a><br/>Format:&#160;Electronic Resources<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21205 2024-05-09T13:56:05Z 2024-05-09T13:56:05Z Yazar&#160;Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/>