Programming language implementation and logic programming
: 3rd international symposium ; proceedings / PLILP '91, Passau, Germany, August 26 - 28, 1991. J. Maluszyński ; M. Wirsing (ed.). - Berlin : Springer, 1991. - XI, 433 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 528)
ISBN 978-3-540-54444-9 / 3-540-54444-5 kart. : DM 61.00
Literaturangaben
Quelle: DNB
Programming language implementation and logic programming
: 4th international symposium ; proceedings / PLILP '92, Leuven, Belgium, August 26 - 28, 1992. M. Bruynooghe ; M. Wirsing (ed.). - Berlin : Springer, 1992. - XI, 492 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 631)
ISBN 978-3-540-55844-6 / 3-540-55844-6 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Programming language implementation and logic programming
: 5th international symposium ; proceedings / PLILP '93, Tallinn, Estonia, August 25 - 27, 1993. Maurice Bruynooghe ; Jaan Penjam (ed.). - Berlin : Springer, 1993. - XI, 421 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 714)
ISBN 978-3-540-57186-5 / 3-540-57186-8 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Programming languages
: implementations, logics and programs ; 8th international symposium ; proceedings / PLILP '96, Aachen, Germany, September 24 - 27, 1996. Herbert Kuchen ; S. Doaitse Swierstra (ed.). - Berlin : Springer, 1996. - XI, 478 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1140)
ISBN 978-3-540-61756-3 / 3-540-61756-6 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Programming languages
: implementations, logics and programs ; 9th international symposium ; proceedings / PLILP '97, Southampton, UK, September 3 - 5, 1997 ; including a special track on declarative programming languages in education / Hugh Glaser ... (ed.). - Berlin : Springer, 1997. - XI, 424 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1292)
ISBN 978-3-540-63398-3 / 3-540-63398-7 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Programming languages: implementations, logics and programs
: 7th international symposium ; proceedings / PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ; S. Doaitse Swierstra (ed.). - Berlin : Springer, 1995. - XI, 466 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 982)
ISBN 978-3-540-60359-7 / 3-540-60359-X kart. : DM 94.00
Literaturangaben
Quelle: DNB
Progress in artificial intelligence, knowledge extraction, multi-agent systems, logic programming, and constraint solving
: proceedings / 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17 - 20, 2001. P. Brazdil ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2258 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45329-1
Lizenzpflichtig
Quelle: DNB
Alferes, José Júlio: Reasoning with logic programming
/ José Júlio Alferes ; Luís Moniz Pereira. - Berlin : Springer, 1996. - XX, 326 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1111 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61488-3 / 3-540-61488-5 kart. : DM 58.00
Literaturverz. S. 271 - 281
Quelle: DNB
Static analysis
: 5th international symposium ; proceedings / SAS '98, Pisa, Italy, September 1998. Giorgio Levi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1503)
ISBN 978-3-540-49727-1
Lizenzpflichtig
Quelle: DNB
Schmitt, Peter H.: Theorie der logischen Programmierung
: eine elementare Einführung / Peter H. Schmitt. - Berlin : Springer, 1992. - XI, 246 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-55702-9 / 3-540-55702-4 kart. : DM 48.00
Literaturverz. S. 233 - 242
Quelle: DNB
