دانلود کتاب Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
by Olivier Danvy
|
عنوان فارسی: مقالات سمپوزیوم بین المللی 20، LOPSTR 2010، Hagenberg، اتریش، ژوئیه 23-25، 2010، تجدید نظر انتخاب شده: برنامه سنتز و انتقال مبتنی بر منطق |