دانلود کتاب Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
مکانیزه کردن استدلال ریاضی: مقالاتی به احترام یورگ ا. سیکمان به مناسبت 60 سالگی
زبان : English
نویسندگان : Dieter Hutter, Werner Stephan (auth.), Dieter Hutter, Werner Stephan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2005
ISBN (شابک) : 3540250514, 9783540250517
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2605 : Lecture Notes in Artificial Intelligence
تعداد صفحات : 570[573]
حجم : 6 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان