دانلود کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
by François Fages (auth.)
|
عنوان فارسی: منطق بر اساس برنامه سنتز و انتقال: مقالات سمپوزیوم بین المللی 15، LOPSTR 2005، لندن، انگلستان، سپتامبر 7-9، 2005، تجدید نظر انتخاب شده |