Suchfeld einblenden
Person Pettorossi, Alberto
2 Treffer
Seite < 1 >
Logic based program synthesis and transformation
: 11th international workshop ; selected papers / LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. A. Pettorossi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2372)
ISBN 978-3-540-45607-0
Lizenzpflichtig
Quelle: DNB
Meta-programming in logic
: third international workshop, Meta-92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings / A. Pettorossi (ed.). - Berlin : Springer, 1992. - XII, 351 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 649)
ISBN 978-3-540-56282-5 / 3-540-56282-6 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Seite < 1 >
