Logic-Based Program Synthesis and Transformation
Preface This volume contains a selection of the th e papers presented at the 17th Interna- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23–24, 2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 a...
محفوظ في:
| مؤلفون آخرون: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
Springer
2017
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/25633 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | Preface This volume contains a selection of the th
e papers presented at the 17th Interna- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23–24, 2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 and 2000), Verona
(2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992 and 1991), Leuven (1997), Stockholm (1996), Arhhem (1995), Pisa (1994) and Louvain-la-Neuve (1993). |
|---|