دانلود کتاب Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
by María Alpuente
|
عنوان فارسی: بر اساس منطق برنامه سنتز و انتقال: تاریخ 12th کارگاه آموزشی بین المللی، LOPSTR 2002، مادرید، اسپانیا، سپتامبر 17-20، 2002. تجدید نظر مقالات انتخاب شده |