Non-monotonic extensions of logic programming
: selected papers / ICLP '94 workshop, Santa Margherita Ligure, Italy, June 1994. Jürgen Dix ... (ed.). - Berlin : Springer, 1995. - VI, 229 S.; 24 cm - (Lecture notes in computer science; Vol. 927 : Lecture notes in artificial intelligence)
ISBN 978-3-540-59467-3 / 3-540-59467-1 kart. : DM 54.00
Literaturangaben
Quelle: DNB
Non-monotonic extensions of logic programming
: second international workshop ; selected papers / NMELP '96, Bad Honnef, Germany, September 5 - 6, 1996. Jürgen Dix ... (ed.). - Berlin : Springer, 1997. - XII, 224 S.; 24 cm - (Lecture notes in computer science; Vol. 1216 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62843-9 / 3-540-62843-6 kart. : DM 58.00
Literaturangaben
Quelle: DNB
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
Parallel execution of logic programming
: proceedings / ICLP '91 pre-conference workshop, Paris, June 24, 1991. A. Beaumont ; G. Gupta (ed.). - Berlin : Springer, 1991. - 195 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 569)
ISBN 978-3-540-55038-9 / 3-540-55038-0 kart. : DM 39.50
Literaturangaben
Quelle: DNB
Kurfeß, Franz J.: Parallelism in logic
: its potential for performance and program development / Franz Kurfess. - Braunschweig : Vieweg, 1991. - XII, 299 S. : graph. Darst.; 23 cm - (Artificial intelligence)
ISBN 978-3-528-05163-1 / 3-528-05163-9 kart. : DM 59.00
Quelle: DNB
Spenke, Michael: PERPLEX
: ein graphisch-interaktives System zur Unterstützung der logischen Programmierung / Michael Spenke. - München : Oldenbourg, 1993. - 125 S. : Ill., graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 207)
ISBN 978-3-486-22579-2 / 3-486-22579-0 kart. : DM 40.00
Quelle: DNB
Perspectives of system informatics
: revised papers / 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001. D. Bjørner ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2244)
ISBN 978-3-540-45575-2
Lizenzpflichtig
Quelle: DNB
Principles of declarative programming
: 10th international symposium ; proceedings / PLILP '98, held jointly with the 6th International Conference ALP '98, Pisa, Italy, September 1998. C. Palamidessi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1490)
ISBN 978-3-540-49766-0
Lizenzpflichtig
Quelle: DNB
Probabilistic inductive logic programming
: theory and applications / Luc De Raedt ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4911 : Lecture notes in artificial intelligence)
ISBN 978-3-540-78652-8
Lizenzpflichtig
Quelle: DNB
Programming language implementation and logic programming
: 6th international symposium ; proceedings / PLILP '94, Madrid, Spain, September 14 - 16, 1994. Manuel Hermenegildo ; Jan Penjam (ed.). - Berlin : Springer, 1994. - XII, 468 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 844)
ISBN 978-3-540-58402-5 / 3-540-58402-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
