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

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

ویرایش