ID:DA06518577
International Conference on Logic for Programming and Automated Reasoning
Logic Programming and Automated Reasoning, International Conference
International Conference LPAR
Conference LPAR
Conference LPAR, International
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
同姓同名の著者を検索
Edmund M. Clarke and Andrei Voronkov (Eds.)
Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355
: pbk
所蔵館2館
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館
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館
Frank Pfenning (ed.)
Springer-Verlag c1994 Lecture notes in computer science 822 . Lecture notes in artificial intelligence
: gw , : us
所蔵館58館
Andrei Voronkov (ed.)
Springer-Verlag c1993 Lecture notes in computer science 698 . Lecture notes in artificial intelligence
所蔵館55館
A. Voronkov, ed
Springer-Verlag c1992 Lecture notes in computer science 624 . Lecture notes in artificial intelligence