Computer science logic
: 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. L. Fribourg (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Annual conference of the EACSL ...; 10)
ISBN 978-3-540-44802-0
Lizenzpflichtig
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