دانلود کتاب Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
by Jürgen Giesl
|
عنوان فارسی: مقالات سمپوزیوم بین المللی 22، LOPSTR 2012، لوون، بلژیک، سپتامبر 18-20، 2012، تجدید نظر انتخاب شده: برنامه سنتز و انتقال مبتنی بر منطق |