Search Results for Voronkov, Andrei.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dVoronkov$00252C$002bAndrei.$0026ic$003dtrue$0026ps$003d300?
2024-12-05T01:09:12Z
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519146.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186001
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of automated reasoning
ent://SD_ILS/0/SD_ILS:253802
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444508133">http://www.sciencedirect.com/science/book/9780444508133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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:401949
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:186085
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<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:187449
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<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:185067
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:183262
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:182801
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483248
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519103.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196754
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191698
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:189268
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – 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:187182
2024-12-05T01:09:12Z
2024-12-05T01:09:12Z
Author Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>