دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
by Natarajan Shankar (auth.)
|
عنوان فارسی: منطق بر اساس برنامه سنتز و انتقال: 11TH کارگاه آموزشی بین المللی، LOPSTR 2001 پافوس، قبرس، نوامبر 28-30، 2001 مقالات انتخاب شده |