تفاوت میان نسخه‌های «دستگاه صوری»

جز
ربات:افزودن الگو ناوباکس {{دانش محاسبه‌پذیر}}
جز (ربات:افزودن الگو ناوباکس {{منطق}})
جز (ربات:افزودن الگو ناوباکس {{دانش محاسبه‌پذیر}})
{{علوم سامانه‌ها}}
{{منطق}}
{{دانش محاسبه‌پذیر}}
[[رده:سیستم صوری]]
[[رده:روش‌های صوری]]
۵۷۷٬۴۵۰

ویرایش