Search Results for Kuznetsov, Sergei O. - Narrowed by: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKuznetsov$00252C$002bSergei$002bO.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300? 2024-11-12T05:48:24Z Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486239 2024-11-12T05:48:24Z 2024-11-12T05:48:24Z Author&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30763-9">https://doi.org/10.1007/978-3-030-30763-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485525 2024-11-12T05:48:24Z 2024-11-12T05:48:24Z Author&#160;Hirsch, Edward. editor.&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Pin, Jean-&Eacute;ric. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>