An edition of Logic-Based Program Synthesis and Transformation
(2014)
Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
by Gopal Gupta and Ricardo Peña
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic programming| Edition | Availability |
|---|---|
1
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
2015, Springer London, Limited
in English
3319141252 9783319141251
|
aaaa
|
|
2
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
2014, Springer International Publishing AG
in English
3319141244 9783319141244
|
zzzz
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 5, 2021 | Created by ImportBot | import new book |