دانلود کتاب Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
انتزاع ، اصلاح و تقریب: چهارمین سمپوزیوم بین المللی ، SARA 2000 Horseshoe Bay ، ایالات متحده آمریکا ، 26 تا 29 ژوئیه ، مجموعه مقالات
زبان : English
نویسندگان : Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2000
ISBN (شابک) : 3540678395, 9783540678397
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1864 : Lecture Notes in Artificial Intelligence
تعداد صفحات : 336[342]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان