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
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
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB
Schöning, Uwe: Logik für Informatiker
/ von Uwe Schöning. - 4., überarb. Aufl. - Heidelberg : Spektrum, Akad. Verl., 1995. - 207 S.; 21 cm - (Reihe Informatik)
ISBN 978-3-86025-684-8 / 3-86025-684-X kart. : DM 29.80
Literaturverz. S. 197 - 201
Quelle: DNB
Dassow, Jürgen: Logik für Informatiker
/ Jürgen Dassow. - 1. Aufl. - Stuttgart : Teubner, 2005. - 177 S.; 24 cm - (Lehrbuch : Mathematik)
ISBN 978-3-519-00518-6 / 3-519-00518-2 kart. : EUR 22.90
Quelle: DNB Verlagsmeldungen
Bhattacharya, Alakananda: Parallel and distributed logic programming
: towards the design of a framework for the next generation database machines / Alakananda Bhattacharya ; Amit Konar ; Ajit K. Mandal. - Berlin : Springer, 2006. - XIII, 291 S. : graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 24)
ISBN 978-3-540-33458-3 / 3-540-33458-0 Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen