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
Logic programming
/ Logic Programming Conference. - Berlin : Springer, 1991. - VIII, 183 S. : graph. Darst. - (Lecture notes in computer science; Vol. 485 : Lecture notes in artificial intelligence)
ISBN 978-3-540-53919-3 / 3-540-53919-0 kart. : DM 35.00
Quelle: DNB
Logic programming
: proceedings / First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 - 18, 1990 ; Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11 - 16, 1991. A. Voronkov (ed.). - Berlin : Springer, 1992. - IX, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 592 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55460-8 / 3-540-55460-2 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 1997. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49872-8
Lizenzpflichtig
Quelle: DNB
Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 17, 1997. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - VIII, 246 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64958-8 / 3-540-64958-1 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2923 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24609-1
Lizenzpflichtig
Quelle: DNB
