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
Logics in artificial intelligence
: 8th European conference ; proceedings / JELIA 2002, Cosenza, Italy, September 23 - 26, 2002. S. Flesca ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2424 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45757-2
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA 2000, Málaga, Spain, September/October 2000. M. Ojeda-Aciego ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1919 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40006-6
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 1998. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49545-1
Lizenzpflichtig
Quelle: DNB
