Search Results for - Narrowed by: SpringerLink (Online service) - Computer logic. - Logic in AI.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bin$002bAI.$002509Logic$002bin$002bAI.$0026ps$003d300?2024-06-17T18:20:05ZLogic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277412024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Khan, Md. Aquil. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287392024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Martí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: Electronic Resources<br/>Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288612024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Silva, Alexandra. editor.<br/><a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format: Electronic Resources<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4292552024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Alvim, Mário S. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281352024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar 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: Electronic Resources<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288352024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:4287562024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar 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: Electronic Resources<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4281042024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283262024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X<br/><a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Electronic Resources<br/>Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4279052024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Bernardi, Raffaella. editor.<br/><a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4278472024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Bjørner, Nikolaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format: 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–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4282712024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Vojnar, Tomáš. 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: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283132024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X<br/><a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289252024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar 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: Electronic Resources<br/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4290212024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Özçep, Özgür Lütfü. author.<br/><a href="https://doi.org/10.1007/978-3-030-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290442024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Hofman, Piotrek. editor.<br/><a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format: Electronic Resources<br/>Joint Training for Neural Machine Translationent://SD_ILS/0/SD_ILS:4284632024-06-17T18:20:05Z2024-06-17T18:20:05ZYazar Cheng, Yong. author.<br/><a href="https://doi.org/10.1007/978-981-32-9748-7">https://doi.org/10.1007/978-981-32-9748-7</a><br/>Format: Electronic Resources<br/>