Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers

Author(s)

• International Workshop on Logic Program Synthesis and Transformation
• De Schreye, Danny

Bibliographic Information

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers

Danny De Schreye, (ed.)

（Lecture notes in computer science, 6037 . LNCS sublibrary : SL 1 . Theoretical computer science and general issues）

Springer, c2010

• : pbk

Note

Includes bibliographical references

Details

• NCID: BB07217351
• ISBN:
  • 9783642125911
• LCCN: 2010924453
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: x, 204 p.
• Size: 24 cm
• Classification:
  • DC22 : 005.1
• Subject Headings:
  • LCSH : Logic programming -- Congresses
• Parent Bibliography ID:
  • BA00009279