Result: Logic based program synthesis and transformation

*Title*:

Logic based program synthesis and transformation : 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 1999

*Physical description scale*:

X, 330 Seiten : Diagramme ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 1559
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540657657

*Result*: Logic based program synthesis and transformation