Logic-Based Program Synthesis and Transformation
Subtitle: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 385
ISBN-13: 9783319274362
Subjects: Logic programming