Metamath A Computer Language For Mathematical Proofs

١٩٩٫٠٠ ر.س.‏
+ ١٠٣٫٩٩ ر.س.‏ الشحن

Metamath A Computer Language For Mathematical Proofs

البائع:
  • product image

١٩٩٫٠٠ ر.س.‏

في المخزون
+ ١٠٣٫٩٩ ر.س.‏ الشحن

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

طرق الدفع:

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

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

Metamath A Computer Language For Mathematical Proofs

Metamath Is A Computer Language And An Associated Computer Program For Archiving, Verifying, And Studying Mathematical Proofs. The Metamath Language Is Simple And Robust, With An Almost Total Absence Of Hard-wired Syntax, And We Believe That It Provides About The Simplest Possible Framework That Allows Essentially All Of Mathematics To Be Expressed With Absolute Rigor. While Simple, It Is Also Powerful; The Metamath Proof Explorer (mpe) Database Has Over 23,000 Proven Theorems And Is One Of The Top Systems In The Formalizing 100 Theorems Challenge.
  • العلامة التجارية: Lulu Press, Inc
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Norman Megill
  • عدد الصفحات: 248
  • تاريخ النشر: 2019-06-06
  • الناشر/ العنوان: Lulu Press | Inc
  • هوية Fruugo: 550921371-1115599634
  • ISBN: 9780359702237
التوصيل

توصيل

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

  • STANDARD: ١٠٣٫٩٩ ر.س.‏ - التسليم بين الأربعاء 28 أكتوبر 2026 – الاثنين 02 نوفمبر 2026

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

الإرجاع

الإرجاع

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

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