ID:DA06370909
Voronkov, Andreĭ
同姓同名の著者を検索
Edmund M. Clarke and Andrei Voronkov (Eds.)
Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355
: pbk
所蔵館2館
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
Springer c2008 Lecture notes in computer science 5330 . Lecture notes in artificial intelligence
Nachum Dershowitz, Andrei Voronkov (eds.)
Springer c2007 Lecture notes in computer science 4790 . Lecture notes in artificial intelligence
所蔵館6館
Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)
Springer c2007 Lecture notes in computer science 4649
Miki Hermann, Andrei Voronkov (eds.)
Springer c2006 Lecture notes in computer science 4246 . Lecture notes in artificial intelligence
所蔵館9館
Geoff Sutcliffe, Andrei Voronkov (eds.)
Springer c2005 Lecture notes in computer science 3835 . Lecture notes in artificial intelligence
所蔵館10館
Franz Baader, Andrei Voronkov (eds.)
Springer c2005 Lecture notes in computer science 3452 . Lecture notes in artificial intelligence
所蔵館17館
Moshe Y. Vardi, Andrei Voronkov (eds.)
Springer c2003 Lecture notes in computer science 2850 . Lecture notes in artificial intelligence
所蔵館24館
Matthias Baaz, Andrei Voronkov (eds.)
Springer c2002 Lecture notes in computer science 2514 . Lecture notes in artificial intelligence
所蔵館28館
Andrei Voronkov (ed.)
Springer c2002 Lecture notes in computer science 2392 . Lecture notes in artificial intelligence
所蔵館31館
Robert Nieuwenhuis, Andrei Voronkov (eds.)
Springer c2001 Lecture notes in computer science 2250 . Lecture notes in artificial intelligence
Michel Parigot, Andrei Voronkov (eds.)
Springer-Verlag c2000 Lecture notes in computer science 1955 . Lecture notes in artificial intelligence
所蔵館37館
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Springer-Verlag c1999 Lecture notes in computer science 1705 . Lecture notes in artificial intelligence
所蔵館44館
Springer-Verlag c1993 Lecture notes in computer science 698 . Lecture notes in artificial intelligence
: gw , : us
所蔵館55館
A. Voronkov, ed
Springer-Verlag c1992 Lecture notes in computer science 624 . Lecture notes in artificial intelligence
A. Voronkov (ed.)
Springer-Verlag c1992 Lecture notes in computer science 592 . Lecture notes in artificial intelligence
所蔵館51館