简体版 English
تسجيل الدخول إنشاء حساب جديد

prover معنى

يبدو
"prover" أمثلة على
الترجمة العربيةجوال إصدار
  • المبرهن
أمثلة
  • Started in 1971 at Edinburgh, Scotland, this was a fully automatic theorem prover built using Pure Lisp.
    بدأت في عام 1971 في أدنبره، اسكتلندا، وكان هذا برهان للنظرية بالكامل حيث طورت وصممت باستخدام لغة البرمجة ليسب.