دانلود کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
by John P. Gallagher (auth.)
|
عنوان فارسی: مبتنی بر منطق برنامه سنتز و انتقال: 21 سمپوزیوم بین المللی، LOPSTR 2011، اودنسه دانمارک، ژوئیه 18-20، 2011. تجدید نظر برگزیده مقالات |