Your search returned 15 results.

Not what you expected? Check for suggestions
1.
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.).

by LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerVerlag, ©1993Other title: LPAR '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov (ed.).

by LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt] | International Conference on Logic Programming and Automated Reasoning, LPAR ((St. Petersburg, Russia) : 1992).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings / Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.).

by International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia) | Diekert, Volker, 1955- | Volkov, Mikhail V | Voronkov, Andrei, 1959-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Second International Symposium on Computer Science in Russia | International Symposium on Computer Science in Russia | CSR 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers / Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (6th : 2006 : Novosibirsk, Russia) | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Perspectives of system informatics | 6th International Andrei Ershov Memorial Conference | Sixth International Andrei Ershov Memorial Conference | International Andrei Ershov Memorial Conference | PSI 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings / Andrei Voronkov (ed.).

by International Conference on Rewriting Techniques and Applications (19th : 2008 : Hagenberg im Mü̈hlkreis, Austria) | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: RTA 2008 | 19th international conference, RTA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) | Pnueli, Amir, 1941-2009 | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2010Other title: PSI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

by LPAR (Conference) (18th : 2012 : Mérida, Venezuela) | Björner, Nikolaj | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: LPAR-18.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia) | Clarke, Edmund M., Jr. (Edmund Melson), 1945- | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: PSI 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Programming logics : essays in memory of Harald Ganzinger / Andrei Voronkov, Christoph Weidenbach (eds.).

by Voronkov, Andrei, 1959- | Weidenbach, Christoph.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers / Andrei Voronkov, Irina Virbitskaite (eds.).

by International Andrei Ershov Memorial Conference (9th : 2014 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [editor.] | Virbitskaite, Irina [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer, 2015Other title: PSI 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (Eds.).

by LPAR (Conference) (20th : 2015 : Suva, Fiji) | Davis, Martin [edt] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2015]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
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 / Manuel Mazzara, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (10th : 2015 : Kazanʹ and Innopolis, Russia) | Mazzara, Manuel [editor.] | Voronkov, Andrei, 1959- [editor.] | Veith, Helmut [honouree.].

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: PSI 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / edited by Alexander K. Petrenko, Andrei Voronkov.

by International Andrei Ershov Memorial Conference (11th : 2017 : Moscow, Russia) | Petrenko, Alexander K [editor.] | Voronkov, Andrei [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: PSI 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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, Irina Virbitskaite, Andrei Voronkov (eds.).

by International Andrei Ershov Memorial Conference (12th : 2019 : Novosibirsk, Russia) | Bjørner, Nikolaj | Virbitskaite, Irina | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2019Other title: PSI 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha