کلیدواژه اثبات به کمک رایانه / (1 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده : اسدی، مهدی ؛
مجله:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 رتبه ب (وزارت علوم/ISC (27 صفحه - از 3 تا 29 )
کلیدواژه ها:وجود ذهنیحافظهعلم اجمالیاستدلال های پیچیدهاثبات به کمک رایانهذهناستدلالبـهواهب الصوریقینتصوررایانهمـا