Logic programming and nonmonotonic reasoning
: third international conference ; proceedings / LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. V. W. Marek ... (ed.). - Berlin : Springer, 1995. - VIII, 415 S.; 24 cm - (Lecture notes in computer science; Vol. 928 : Lecture notes in artificial intelligence)
ISBN 978-3-540-59487-1 / 3-540-59487-6 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Logic programming in action
: proceedings / Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7 - 11, 1992. G. Comyn ... (ed.). - Berlin : Springer, 1992. - X, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 636 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55930-6 / 3-540-55930-2 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 1997. N. E. Fuchs (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1463)
ISBN 978-3-540-49674-8
Lizenzpflichtig
Quelle: DNB
Logic program synthesis and transformation
: 6th international workshop ; proceedings / LOPSTR '96, Stockholm, Sweden, August 28 - 30, 1996. John Gallagher (ed.). - Berlin : Springer, 1997. - VI, 324 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1207)
ISBN 978-3-540-62718-0 / 3-540-62718-9 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997. Norbert E. Fuchs (ed.). - Berlin : Springer, 1998. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1463)
ISBN 978-3-540-65074-4 / 3-540-65074-1 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: 5th international workshop ; proceedings / LOPSTR '95, Utrecht, The Netherlands, September 20 - 22, 1995. Maurizio Proietti (ed.). - Berlin : Springer, 1996. - X, 266 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1048)
ISBN 978-3-540-60939-1 / 3-540-60939-3 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: 8th European conference ; proceedings / JELIA 2002, Cosenza, Italy, September 23 - 26, 2002. S. Flesca ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2424 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45757-2
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA 2000, Málaga, Spain, September/October 2000. M. Ojeda-Aciego ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1919 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40006-6
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 1998. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49545-1
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 11th European conference ; proceedings / JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Steffen Hölldobler ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5293 : Lecture notes in artificial intelligence)
ISBN 978-3-540-87803-2
Lizenzpflichtig
Quelle: DNB