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...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/25633 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-25633 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-256332020-06-15T03:50:57Z Logic-Based Program Synthesis and Transformation King, Andy Computer Science ; Logic programming 005.1/5 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). 2017-04-10T07:46:39Z 2017-04-10T07:46:39Z 2008 Book 9783540787686 http://repository.vnu.edu.vn/handle/VNU_123/25633 en 227 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science ; Logic programming 005.1/5 |
| spellingShingle |
Computer Science ; Logic programming 005.1/5 Logic-Based Program Synthesis and Transformation |
| description |
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). |
| author2 |
King, Andy |
| author_facet |
King, Andy |
| format |
Book |
| title |
Logic-Based Program Synthesis and Transformation |
| title_short |
Logic-Based Program Synthesis and Transformation |
| title_full |
Logic-Based Program Synthesis and Transformation |
| title_fullStr |
Logic-Based Program Synthesis and Transformation |
| title_full_unstemmed |
Logic-Based Program Synthesis and Transformation |
| title_sort |
logic-based program synthesis and transformation |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/25633 |
| _version_ |
1680967705733103616 |