Andrei Voronkov

Andrei Voronkov come Con la collaborazione di Mostra tutti e 32 i risultati

Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Nikolaj Bjørner, Irin Virbitskaite, Irina Virbitskaite, Andrei Voronkov Perspectives of System Informatics Inglese 01.01.2019 Tascabile CHF 69.00 1-2 settimane
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Inglese 18.01.2018 Tascabile CHF 69.00 1-2 settimane
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - 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
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics Inglese 01.01.2016 Tascabile CHF 70.00 6-7 settimane
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, … - Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, … Perspectives of System Informatics Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, … - Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, … Logic for Programming, Artificial Intelligence, and Reasoning Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 19.11.2013 Tascabile CHF 70.00 6-7 settimane
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach - Programming Logics Essays in Memory of Harald Ganzinger
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach Programming Logics Inglese 22.03.2013 Tascabile CHF 70.00 6-7 settimane
Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications Inglese 29.01.2013 Tascabile CHF 70.00 6-7 settimane
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … - Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, … Perspectives of Systems Informatics Inglese 13.04.2012 Tascabile CHF 70.00 6-7 settimane
Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Nikolaj Bjørner, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 24.02.2012 Tascabile CHF 70.00 6-7 settimane