Search Results for - Narrowed by: Logic in AI. - Programming Languages, Compilers, Interpreters. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Logic$002bin$002bAI.$002509Logic$002bin$002bAI.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300$0026isd$003dtrue? 2024-09-24T22:38:48Z Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428135 2024-09-24T22:38:48Z 2024-09-24T22:38:48Z Yazar&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555<br/><a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Electronic Resources<br/> Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428925 2024-09-24T22:38:48Z 2024-09-24T22:38:48Z Yazar&#160;Blackburn, Patrick. editor.<br/><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/> Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428756 2024-09-24T22:38:48Z 2024-09-24T22:38:48Z Yazar&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507<br/><a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format:&#160;Electronic Resources<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428835 2024-09-24T22:38:48Z 2024-09-24T22:38:48Z Yazar&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750<br/><a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format:&#160;Electronic Resources<br/>