Logic-Based Program Synthesis and Transformation
Subtitle: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 237
ISBN-13: 9783319141251
Subjects: Computer science; Software engineering; Logic design; Computational complexity; Artificial intelligence