Your search returned 26 results.

Not what you expected? Check for suggestions
1.
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.).

by LPAR (Conference) (2001 : Havana, Cuba) | Nieuwenhuis, Robert | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Other title: LPAR 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.).

by LPAR 2002 (2002 : Tʻbilisi, Georgia) | Baaz, Matthias | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
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 .
4.
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 .
5.
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov, eds.

by LPAR (Conference) (10th : 2003 : Alma-Ata, Kazakhstan) | Vardi, Moshe Y | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
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 .
7.
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 .
8.
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).

by LPAR (Conference) (2007 : Yerevan, Armenia) | Dershowitz, Nachum | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).

by LPAR (Conference) (2000 : Réunion) | Parigot, Michel, 1956- | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.).

by LPAR 2004 (2005 Mar. 14-18 : Montevideo, Uruguay) | Baader, Franz | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: LPAR 2004.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 : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / Geoff Sutcliffe, Andrei Voronkov (eds.).

by LPAR (Conference) | Sutcliffe, Geoff | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: LPAR 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings / Miki Hermann, Andrei Voronkov (eds.).

by LPAR (Conference) | Hermann, Miki, 1958- | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: LPAR 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov, (eds.).

by LPAR (Conference) (1999 : Tʻbilisi, Georgia) | Ganzinger, H. (Harald), 1950- | McAllester, David A | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
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 .
15.
Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings / Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.).

by LPAR (Conference) (2008 : Dawhah, Qatar) | Cervesato, Iliano | Veith, Helmut | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed.

by International Conference on Automated Deduction (18th : 2002 : Copenhagen, Denmark) | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
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 .
18.
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.).

by RCLP (Conference) (1st : 1990 : Irkutsk, R.S.F.S.R.) | Voronkov, Andrei, 1959- | RCLP (Conference) (2nd : 1991 : Saint Petersburg, Russia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / Christian G. Fermüller, Andrei Voronkov (eds.).

by LPAR (Conference) (17th : 2010 : Yogyakarta, Indonesia) | Fermüller, C. (Christian), 1963- | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: LPAR-17 | LPAR 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / Edmund M. Clarke, Andrei Voronkov (eds.).

by LPAR (Conference) (16th : 2010 : Dakar, Senegal) | Clarke, Edmund M., Jr. (Edmund Melson), 1945- | Voronkov, Andrei, 1959-.

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

Powered by Koha