دانلود کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern ، FRG ، 24 تا 27 ژوئیه ، مجموعه مقالات
زبان : English
نویسندگان : Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1990
ISBN (شابک) : 9783540528852, 3540528857
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 449
تعداد صفحات : 690[708]
حجم : 6 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان