Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 1998. P. Flener (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1559)
ISBN 978-3-540-48958-0
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.). - Berlin : Springer, 1998. - X, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1559)
ISBN 978-3-540-65765-1 / 3-540-65765-7 kart. : DM 78.00
Literaturangaben
Quelle: DNB