CiNii Books Author - Voronkov, A. (Andreĭ)

1

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 and Andrei Voronkov (Eds.)

Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355

: pbk

Available at 2 libraries
2

Logic for programming, aritficial intelligence, and reasoning : 15th International Conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 : proceedings

Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)

Springer c2008 Lecture notes in computer science 5330 . Lecture notes in artificial intelligence

Available at 2 libraries
3

Logic for programming, aritficial intelligence, and reasoning : 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 : proceedings

Nachum Dershowitz, Andrei Voronkov (eds.)

Springer c2007 Lecture notes in computer science 4790 . Lecture notes in artificial intelligence

Available at 6 libraries
4

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.)

Springer c2007 Lecture notes in computer science 4649

Available at 2 libraries
5

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Miki Hermann, Andrei Voronkov (eds.)

Springer c2006 Lecture notes in computer science 4246 . Lecture notes in artificial intelligence

Available at 9 libraries
6

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.)

Springer c2005 Lecture notes in computer science 3835 . Lecture notes in artificial intelligence

Available at 10 libraries
7

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Franz Baader, Andrei Voronkov (eds.)

Springer c2005 Lecture notes in computer science 3452 . Lecture notes in artificial intelligence

Available at 17 libraries
8

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Moshe Y. Vardi, Andrei Voronkov (eds.)

Springer c2003 Lecture notes in computer science 2850 . Lecture notes in artificial intelligence

Available at 24 libraries
9

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Matthias Baaz, Andrei Voronkov (eds.)

Springer c2002 Lecture notes in computer science 2514 . Lecture notes in artificial intelligence

Available at 28 libraries
10

Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Andrei Voronkov (ed.)

Springer c2002 Lecture notes in computer science 2392 . Lecture notes in artificial intelligence

Available at 31 libraries
11

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Robert Nieuwenhuis, Andrei Voronkov (eds.)

Springer c2001 Lecture notes in computer science 2250 . Lecture notes in artificial intelligence

Available at 28 libraries
12

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

Michel Parigot, Andrei Voronkov (eds.)

Springer-Verlag c2000 Lecture notes in computer science 1955 . Lecture notes in artificial intelligence

Available at 37 libraries
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.)

Springer-Verlag c1999 Lecture notes in computer science 1705 . Lecture notes in artificial intelligence

Available at 44 libraries
14

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Andrei Voronkov (ed.)

Springer-Verlag c1993 Lecture notes in computer science 698 . Lecture notes in artificial intelligence

: gw , : us

Available at 55 libraries
15

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

A. Voronkov, ed

Springer-Verlag c1992 Lecture notes in computer science 624 . Lecture notes in artificial intelligence

: gw , : us

Available at 55 libraries
16

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.)

Springer-Verlag c1992 Lecture notes in computer science 592 . Lecture notes in artificial intelligence

: gw , : us

Available at 51 libraries

Voronkov, A. (Andreĭ)

Search Results1-16 of 16

Search this author

Related Authors