Search Results for - Narrowed by: Computer science. - Voronkov, Andrei. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Voronkov$00252C$002bAndrei.$002beditor.$002509Voronkov$00252C$002bAndrei.$002beditor.$0026ps$003d300? 2024-05-29T09:05:46Z Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2086021 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/> Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085723 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Mazzara, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format:&#160;Electronic Resources<br/> Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings ent://SD_ILS/0/SD_ILS:502819 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503812 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format:&#160;Electronic Resources<br/> Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:512238 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Virbitskaite, Irina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512924 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format:&#160;Electronic Resources<br/> Computer Science &ndash; Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512802 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Diekert, Volker. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511879 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Hermann, Miki. editor.<br/><a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510551 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510106 2024-05-29T09:05:46Z 2024-05-29T09:05:46Z by&#160;Sutcliffe, Geoff. editor.<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/>