Logic-Based Program Synthesis and Transformation [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal.
Vidal, Germán.
Berlin, Heidelberg : Springer, 2012
digital.
englisch
9783642322112
10.1007/978-3-642-32211-2
Lecture notes in computer science ; 7225
Full Text
Description not available.