Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Logic in AI. - Algorithms. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bin$002bAI.$002509Logic$002bin$002bAI.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ps$003d300? 2024-05-27T12:32:25Z Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428739 2024-05-27T12:32:25Z 2024-05-27T12:32:25Z Yazar&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000<br/><a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428271 2024-05-27T12:32:25Z 2024-05-27T12:32:25Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/>