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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A


Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
279.99$
الكمية:
شحن مخفض
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
تاريخ النشر: 06/12/2010
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Wolfgang Bibel
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 450
مجلدات: 1
ردمك: 9789048150519
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

تاريخ النشر: 06/12/2010
الناشر: Springer
النوع: ورقي غلاف عادي
ترجمة: Wolfgang Bibel
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 450
مجلدات: 1
ردمك: 9789048150519
279.99$
الكمية:
شحن مخفض
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

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

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