Babel-17.

لغة ترميز
التحميل الان

Babel-17. الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • اسم الناشر:
  • Steven Obua
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 4.3 MB

Babel-17. العلامات


Babel-17. وصف

Babel-17 هي لغة البرمجة ولغة لكتابة البراهين الرسمية. إنها أيضا نظرية تفاعلية بروفر بناء على لغة Babel-17. احصل على Babel-17 واختبرها بنفسك لمعرفة ما يمكن فعله بالفعل!


Babel-17. برامج ذات صلة

معلومات عنا