ID:DA00406195
Automated Deduction, International Conference on
Conference on Automated Deduction, International
CADE
Conference on Automated Deduction
同姓同名の著者を検索
Renate A. Schmidt (ed.)
Springer c2009 Lecture notes in computer science 5663 . Lecture notes in artificial intelligence
所蔵館2館
Frank Pfenning (ed.)
Springer c2007 Lecture notes in computer science 4603 . Lecture notes in artificial intelligence
所蔵館10館
Robert Nieuwenhuis (ed.)
Springer c2005 Lecture notes in computer science 3632 . Lecture notes in artificial intelligence
所蔵館14館
Franz Baader (ed.)
Springer c2003 Lecture notes in computer science 2741 . Lecture notes in artificial intelligence
所蔵館27館
Andrei Voronkov (ed.)
Springer c2002 Lecture notes in computer science 2392 . Lecture notes in artificial intelligence
所蔵館31館
David McAllester (ed.)
Springer c2000 Lecture notes in computer science 1831 . Lecture notes in artificial intelligence
所蔵館40館
Harald Ganzinger (ed.)
Springer c1999 Lecture notes in computer science 1632 . Lecture notes in artificial intelligence
所蔵館43館
Claude Kirchner, Hélène Kirchner (eds.)
Springer c1998 Lecture notes in computer science 1421 . Lecture notes in artificial intelligence
: pbk
所蔵館48館
William McCune (ed.)
Springer c1997 Lecture notes in computer science 1249 . Lecture notes in artificial intelligence
所蔵館51館
M.A. McRobbie, J.K. Slaney, (eds.)
Springer c1996 Lecture notes in computer science 1104 . Lecture notes in artificial intelligence
所蔵館56館
Alan Bundy (ed.)
Springer-Verlag c1994 Lecture notes in computer science 814 . Lecture notes in artificial intelligence
: us , : gw
所蔵館59館
D. Kapur (ed.)
Springer-Verlag c1992 Lecture notes in computer science 607 . Lecture notes in artificial intelligence
: gw , : us
所蔵館57館
M.E. Stickel (ed.)
Springer-Verlag c1990 Lecture notes in computer science 449 . Lecture notes in artificial intelligence
所蔵館62館
E. Lusk, R. Overbeek (eds.)
Springer-Verlag c1988 Lecture notes in computer science 310
所蔵館61館
edited by Jörg H. Siekmann
Springer-Verlag c1986 Lecture notes in computer science 230
所蔵館53館
edited by R.E. Shostak
Springer-Verlag 1984 Lecture notes in computer science 170
