Model Checking And Artificial Intelligence 5th International Workshop Mochart

٤٬٤٩٩٫٠٠ E£
+ ١٬٧٠٨٫٩٩ E£ الشحن

Model Checking And Artificial Intelligence 5th International Workshop Mochart

البائع:
  • product image

٤٬٤٩٩٫٠٠ E£

في المخزون
+ ١٬٧٠٨٫٩٩ E£ الشحن

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

طرق الدفع:

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

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

Model Checking And Artificial Intelligence 5th International Workshop Mochart

Verifying Time And Communication Costs Of Rule-based Reasoners.- Solving?-calculus Parity Games By Symbolic Planning.- Verifying Robocup Teams.- Scaling Search With Pattern Databases.- Survey On Directed Model Checking.- Automated Testing Of Planning Models.- Towards Partial Order Reduction For Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search For Correct Programs.- Experimental Evaluation Of A Planning Language Suitable For Formal Verification.- Relaxation Refinement: A Method To Generate Heuristic Functions.- Model Checking Strategic Equilibria.
  • العلامة التجارية: Springer Nature B.V
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Springer Nature B.V
  • عدد الصفحات: 200
  • تاريخ النشر: 2009-02-27
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 557233861-1125503375
  • ISBN: 9783642004308
التوصيل

توصيل

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

  • STANDARD: ١٬٧٠٨٫٩٩ E£ - التسليم بين الاثنين 09 نوفمبر 2026 – الاثنين 07 ديسمبر 2026

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

الإرجاع

الإرجاع

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

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