Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - User Interfaces and Human Computer Interaction. - EnglishSirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509User$002bInterfaces$002band$002bHuman$002bComputer$002bInteraction.$002509User$002bInterfaces$002band$002bHuman$002bComputer$002bInteraction.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ps$003d300?2024-06-10T17:13:46ZAI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2225212024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965<br/><a href="https://doi.org/10.1007/978-3-030-03840-3">https://doi.org/10.1007/978-3-030-03840-3</a><br/>Format: Electronic Resources<br/>Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2240862024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780<br/><a href="https://doi.org/10.1007/978-3-319-91376-6">https://doi.org/10.1007/978-3-319-91376-6</a><br/>Format: Electronic Resources<br/>Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2210822024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Cox, Michael T. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>The Handbook of Formal Methods in Human-Computer Interactionent://SD_ILS/0/SD_ILS:2252482024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Weyers, Benjamin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Electronic Resources<br/>KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183652024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Friedrich, Gerhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46073-4">http://dx.doi.org/10.1007/978-3-319-46073-4</a><br/>Format: Electronic Resources<br/>AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233582024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Gavanelli, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24309-2">http://dx.doi.org/10.1007/978-3-319-24309-2</a><br/>Format: Electronic Resources<br/>KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233702024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Hölldobler, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24489-1">http://dx.doi.org/10.1007/978-3-319-24489-1</a><br/>Format: Electronic Resources<br/>KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216572024-06-10T17:13:46Z2024-06-10T17:13:46ZYazar Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11206-0">http://dx.doi.org/10.1007/978-3-319-11206-0</a><br/>Format: Electronic Resources<br/>