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
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
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
Transactions and change in logic databases
: invited surveys and selected papers / B. Freitag ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1472)
ISBN 978-3-540-49449-2
Lizenzpflichtig
Quelle: DNB
Transactions and change in logic databases
: invited surveys and selected papers / International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... Burkhard Freitag ... (ed.). - Berlin : Springer, 1998. - X, 396 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1472)
ISBN 978-3-540-65305-9 / 3-540-65305-8 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB