Logic for programming, artificial intelligence, and reasoning
: 15th international conference ; proceedings / LPAR 2008, Doha, Qatar, November 22 - 27, 2008. Iliano Cervesato ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5330 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89439-1
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 11th international conference ; proceedings / LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005. Franz Baader ; Andrei Voronkov (ed.). - Berlin : Springer, 2005. - XI, 562 S.; 24 cm - (Lecture notes in computer science; Vol. 3452 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25236-8 / 3-540-25236-3 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic programming
: 23rd international conference ; proceedings / ICLP 2007, Porto, Portugal, September 8 - 13, 2007. Verónica Dahl ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4670)
ISBN 978-3-540-74610-2
Lizenzpflichtig
Quelle: DNB
Logic programming
: 23rd international conference ; proceedings / ICLP 2007, Porto, Portugal, September 8 - 13, 2007. Verónica Dahl ; Ilkka Neimelä (ed.). - Berlin : Springer, 2007. - XII, 470 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4670)
ISBN 978-3-540-74608-9 / 3-540-74608-0 kart. : EUR 64.20 (freier Pr.), ca. sfr 104.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic programming
: 19th international conference ; proceedings / ICLP 2003, Mumbai, India, December 9 - 13, 2003. Catuscia Palamidessi (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2916)
ISBN 978-3-540-24599-5
Lizenzpflichtig
Quelle: DNB
Logic programming
: 18th international conference ; proceedings / ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002. P. J. Stuckey (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2401)
ISBN 978-3-540-45619-3
Lizenzpflichtig
Quelle: DNB
Logic programming
: 17th international conference ; proceedings / ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. P. Cocognet (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2237)
ISBN 978-3-540-45635-3
Lizenzpflichtig
Quelle: DNB
Logic programming
: 22nd international conference ; proceedings / ICLP 2006, Seattle, WA, USA, August 17 - 20, 2006. Sandro Etalle ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4079)
ISBN 978-3-540-36636-2
Lizenzpflichtig
Quelle: DNB
Logic programming
: 21st international conference ; proceedings / ICLP 2005, Sitges, Spain, October 2 - 5, 2005. Maurizio Gabbrielli ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3668)
ISBN 978-3-540-31947-4
Lizenzpflichtig
Quelle: DNB
Logic programming
: 24rd international conference ; proceedings / ICLP 2008, Udine, Italy, December 9 - 13, 2008. Maria Garcia de la Banda ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5366)
ISBN 978-3-540-89982-2
Lizenzpflichtig
Quelle: DNB
