لقد تمت الاضافة بنجاح
تعديل العربة إتمام عملية الشراء
×
كتب ورقية
كتب الكترونية
كتب صوتية
English Books
أطفال وناشئة
وسائل تعليمية
متجر الهدايا
شحن مجاني
اشتراكات
بحث متقدم
نيل وفرات
حسابك لائحة الأمنيات عربة التسوق نشرة الإصدارات
0

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings


10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
169.00$
الكمية:
شحن مخفض
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
تاريخ النشر: 17/07/1990
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Mark E Stickel
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 708
مجلدات: 1
ردمك: 9783540528852
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings

تاريخ النشر: 17/07/1990
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Mark E Stickel
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 708
مجلدات: 1
ردمك: 9783540528852
169.00$
الكمية:
شحن مخفض
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings

  • الزبائن الذين اشتروا هذا البند اشتروا أيضاً
  • الزبائن الذين شاهدوا هذا البند شاهدوا أيضاً

أبرز التعليقات
أكتب تعليقاتك وشارك أراءك مع الأخرين.