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
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
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
Haun, Matthias: Wissensbasierte Systeme
: eine praxisorientierte Einführung ; mit CD-ROM / Matthias Haun. - Renningen-Malmsheim : expert-Verl., 2000. - 285 S.; 23 cm - (Edition expertsoft; Bd. 36)
ISBN 978-3-8169-1677-2 / 3-8169-1677-5 kart : DM 98.00, EUR 50.11, sfr 89.50, S 715.00
Quelle: DNB