ID:DA00302258
Conference on Logic Programming, International
ICLP
International Conference, ICLP
Search authors sharing the same name
edited by Alessandro Dal Palu' ... [et al.]
Schloss Dagstuhl 2018
: print
Available at 1 libraries
edited by Ricardo Rocha ... [et al.]
edited by Manuel Carro ... [et al.]
Schloss Dagstuhl 2016
edited by Agostino Dovier, Vítor Santos Costa
Schloss Dagstuhl 2012
Patricia M. Hill, David S. Warren (eds.)
Springer c2009 Lecture notes in computer science 5649
Available at 3 libraries
Maria Garcia de la Banda, Enrico Pontelli (eds.)
Springer c2008 Lecture notes in computer science 5366
Verónica Dahl, Ilkka Niemelä (eds.)
Springer c2007 Lecture notes in computer science 4670
Available at 6 libraries
Sandro Etalle, Mirosław Truszczyński (eds.)
Springer c2006 Lecture notes in computer science 4079
Available at 11 libraries
Maurizio Gabbrielli, Gopal Gupta (eds.)
Springer c2005 Lecture notes in computer science 3668
Available at 12 libraries
Bart Demoen, Vladimir Lifschitz (eds.)
Springer c2004 Lecture notes in computer science 3132
Available at 21 libraries
Catuscia Palamidessi (ed.)
Springer c2003 Lecture notes in computer science 2916
Available at 24 libraries
Peter J. Stuckey (ed.)
Springer c2002 Lecture notes in computer science 2401
Available at 31 libraries
Philippe Codognet (ed.)
Springer c2001 Lecture notes in computer science 2237
Available at 27 libraries
edited by Lee Naish
MIT Press c1997 Logic programming
Available at 15 libraries
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
Springer-Verlag c1995 Lecture notes in computer science 927 . Lecture notes in artificial intelligence
: gw , : us
Available at 55 libraries
Hassan Ait-Kaci, Michael Hanus, Juan Jose Moreno Navarro (eds.)
Max-Planck-Institut für Informatik 1994
edited by Maurice Bruynooghe
MIT c1994
Available at 17 libraries
edited by David S. Warren
MIT Press c1993 Logic programming
Available at 23 libraries
edited by Krzysztof Apt
MIT Press c1992 Logic programming
A. Beaumont, G. Gupta (eds.)
Springer-Verlag c1991 Lecture notes in computer science 569
