Logic-Based Program Synthesis and Transformation
Subtitle: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2014
Language: eng
Number of pages: 237
ISBN-13: 9783319141244
Subjects: Logic programming