دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
by Helko Lehmann
|
عنوان فارسی: منطق بر اساس برنامه سنتز و انتقال: مقالات سمپوزیوم بین المللی 13TH، LOPSTR 2003، اوپسالا، سوئد، 25-27 اوت، 2003، تجدید نظر انتخاب شده |