Start Over
You searched for: author_facet Voronkov, Andrei

Search Results

Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Location
Access Content Online
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Location
Access Content Online
Cover image for 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

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

Location
Access Content Online
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Location
Access Content Online
Cover image for Programming Logics Essays in Memory of Harald Ganzinger

Programming Logics Essays in Memory of Harald Ganzinger

Location
Access Content Online
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Location
Access Content Online
Cover image for Perspectives of Systems Informatics

Perspectives of Systems Informatics

Location
Access Content Online
Cover image for Perspectives of systems informatics

Perspectives of systems informatics

Location
Access Content Online
Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Location
Access Content Online
Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Location
Access Content Online