Search Results for Tools. - Narrowed by: Application software. - Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dTools.$0026qf$003dSUBJECT$002509Konu$002509Application$002bsoftware.$002509Application$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300? 2024-07-21T16:20:39Z 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-07-21T16:20:39Z 2024-07-21T16:20:39Z 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/> 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-07-21T16:20:39Z 2024-07-21T16:20:39Z 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-07-21T16:20:39Z 2024-07-21T16:20:39Z 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/> 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-07-21T16:20:39Z 2024-07-21T16:20:39Z 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/> 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-07-21T16:20:39Z 2024-07-21T16:20:39Z 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/> Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428562 2024-07-21T16:20:39Z 2024-07-21T16:20:39Z Yazar&#160;Giorgini, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-21290-2">https://doi.org/10.1007/978-3-030-21290-2</a><br/>Format:&#160;Electronic Resources<br/>