دانلود کتاب Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
by Moreno Falaschi (eds.)
|
عنوان فارسی: مبتنی بر منطق برنامه سنتز و انتقال: 25 سمپوزیوم بین المللی، LOPSTR 2015، سینا، ایتالیا، 13-15 ژوئیه، 2015. تجدید نظر برگزیده مقالات |