CiNii Books 著者 - 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

所蔵館2館
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

所蔵館2館
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

所蔵館6館
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

所蔵館2館
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

所蔵館9館
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

所蔵館10館
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

所蔵館17館
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

所蔵館24館
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

所蔵館28館
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

所蔵館31館
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

所蔵館28館
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

所蔵館37館
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

所蔵館44館
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

所蔵館55館
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

所蔵館55館
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

所蔵館51館

Voronkov, A. (Andreĭ)

検索結果16件中 1-16 を表示

この著者を外部サイトでさがす

関連著者