Termination Proofs For Logic Programs

٤٬٣٤٩٫٠٠ E£
+ ١٬٦٥٢٫٩٩ E£ الشحن

Termination Proofs For Logic Programs

البائع:
  • product image

٤٬٣٤٩٫٠٠ E£

في المخزون
+ ١٬٦٥٢٫٩٩ E£ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

تفاصيل المنتج

تفاصيل المنتج

Termination Proofs For Logic Programs

Termination Proofs Constitute A Crucial Part Of Program Verification. Much Research About Termination Has Been Done In The Context Of Term Rewriting Systems. But Until Now There Was Little Hope That Termination Proofs For Nontrivial Programs Could Be Achieved Automatically.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Lutz Plmer
  • عدد الصفحات: 156
  • تاريخ النشر: 1990-07-24
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557224011-1125493454
  • ISBN: 9783540528371
التوصيل

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٦٥٢٫٩٩ E£ - التسليم بين الخميس 12 نوفمبر 2026 – الخميس 10 ديسمبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة