Computer & TechnologyLogic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
Item 1 of 1
Item 1 of 1
SKU 9783642381966Publishing Ref 9783642381966
Springer
Logic-Based Program Synthesis and Transformation : 22nd International Symposium