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