keyword اثبات به کمک رایانه / (1 Article)
- Sort by
- Date
-
1.
Writer : اسدی، مهدی ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 ، ب (Ministry of Science/ISC (27 page(s) - From 3 to 29 )
Keywords:وجود ذهنیحافظهعلم اجمالیاستدلال های پیچیدهاثبات به کمک رایانهcomplicated argumentsassisted proofssynoptic knowledge (al ‘ilm al ijmālī)ComputerMemoryMental Existenceذهناستدلالبـهواهب الصوریقینتصوررایانهمـا
| Journal (Article count) |
|---|
| Journal منطق پژوهی 1 |
Related keywords
Article publication trend
Scientific rank
- ب (1 Article)