Logic programming in action
: proceedings / Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7 - 11, 1992. G. Comyn ... (ed.). - Berlin : Springer, 1992. - X, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 636 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55930-6 / 3-540-55930-2 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 1997. N. E. Fuchs (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1463)
ISBN 978-3-540-49674-8
Lizenzpflichtig
Quelle: DNB
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
Logic program synthesis and transformation
: 5th international workshop ; proceedings / LOPSTR '95, Utrecht, The Netherlands, September 20 - 22, 1995. Maurizio Proietti (ed.). - Berlin : Springer, 1996. - X, 266 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1048)
ISBN 978-3-540-60939-1 / 3-540-60939-3 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July 1993 / Yves Deville (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - XII, 245 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19864-2 / 3-540-19864-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation, meta programming in logic
: 4th international workshops, proceedings / LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Laurent Fribourg ; Franco Turini (ed.). - Berlin : Springer, 1994. - IX, 450 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 883)
ISBN 978-3-540-58792-7 / 3-540-58792-6 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Logics for concurrency
: structure versus automata / Faron Moller ; Graham Birtwistle (ed.). - Berlin : Springer, 1996. - XI, 266 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1043)
ISBN 978-3-540-60915-5 / 3-540-60915-6 kart. : DM 62.00
Quelle: DNB
Logics in AI
: proceedings / European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 - 14, 1990. J. van Eijck (ed.). - Berlin : Springer, 1991. - IX, 561 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 478 : Lecture notes in artificial intelligence)
ISBN 978-3-540-53686-4 / 3-540-53686-8 kart. : DM 75.00
Literaturangaben
Quelle: DNB
Logics in AI
: proceedings / European Workshop JELIA '92, Berlin, Germany, September 7 - 10, 1992. D. Pearce ; G. Wagner (ed.). - Berlin : Springer, 1992. - VIII, 410 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 633 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55887-3 / 3-540-55887-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
