Result: Logic based program synthesis and transformation

*Title*:

Logic based program synthesis and transformation : 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.)

*Author/editor-in-chief*:

Hill, Patricia M.

*Corporate*:

LOPSTR (15 : 2005 : London)

*Publication*:

Berlin : Springer, 2006

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 3901
*show_all_volumes*

*Notes*:

Lizenzpflichtig

*Subject Added Keywords*:

*DOI*:

10.1007/11680093

*Result*: Logic based program synthesis and transformation

*Additional information*

*Additional functions*

Result: Logic based program synthesis and transformation

Additional information

Additional functions