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
Logic programming and nonmonotonic reasoning
: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ; Ilkka Niemelä (ed.). - Berlin : Springer, 2004. - IX, 364 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2923 : Lecture notes in artificial intelligence)
ISBN 978-3-540-20721-4 / 3-540-20721-X kart. : EUR 53.50, sfr 86.00
Literaturangaben
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 6th international conference ; proceedings / LPNMR 2001, Vienna, Austria, September 17 - 19, 2001. T. Eiter ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2173 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45402-1
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 5th international conference ; proceedings / LPNMR '99, El Paso, Texas, USA, December 1999. M. Gelfond ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1730 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46767-0
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 9th international conference ; proceedings / LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007. Chitta Baral ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4483 : Lecture notes in artificial intelligence)
ISBN 978-3-540-72200-7
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 8th international conference ; proceedings / LPNMR 2005, Diamante, Italy, September 5 - 8, 2005. Chitta Baral ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3662 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31827-9
Lizenzpflichtig
Quelle: DNB
Logic programming and nonmonotonic reasoning
: 4th international conference ; proceedings / LPNMR '97, Dagstuhl Castle, Germany, July 28 - 31, 1997. Jürgen Dix ... (ed.). - Berlin : Springer, 1997. - X, 452 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1265 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63255-9 / 3-540-63255-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB