دانلود کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by Germán Vidal (auth.)
|
عنوان فارسی: مقالات 19 سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، تجدید نظر انتخاب شده: منطق مبتنی بر برنامه سنتز و انتقال |