صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات:حذف تغییر مسیر و لولهبندی در ابهامزداییها |
|||
خط ۲:
* [[سیستم صوری]]
* [[زبان صوری]]
* [[منطق
* [[علوم صوری]]
* [[روشهای صوری]]
|
جز ربات:حذف تغییر مسیر و لولهبندی در ابهامزداییها |
|||
خط ۲:
* [[سیستم صوری]]
* [[زبان صوری]]
* [[منطق
* [[علوم صوری]]
* [[روشهای صوری]]
|