مثمتیکا: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:سیستمهای نرمافزاری اثبات قضیه |
P.arashnia (بحث | مشارکتها) بدون خلاصۀ ویرایش |
||
خط ۶:
|شرکت سازنده = [[ولفرم ریسرچ]]
|اولین نسخه =
|آخرین نسخه پایدار = ۱۲.۲
|آخرین نسخه آزمایشی =
|زبانهای برنامهنویسی = [[سی (زبان برنامهنویسی)|سی]]، [[سی++]]، [[جاوا (زبان برنامهنویسی)|جاوا]]
|