 |
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 צירופים, 11 נושאים |
| בינה מלאכותית | 7 |
| טֶכנוֹלוֹגִיָה | 2 |
| טכנולוגית מידע | 4 |
| כללי | 2 |
| מֵכָנִיקָה | 1 |
| מָתֵימָטִיקָה | 13 |
| מחשבים | 1 |
| מקרוב | 2 |
| נפט/נפט | 1 |
| פיזיקה | 1 |
| תִכנוּת | 5 |
|
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 צירופים, 11 נושאים |
| בינה מלאכותית | 7 |
| טֶכנוֹלוֹגִיָה | 2 |
| טכנולוגית מידע | 4 |
| כללי | 2 |
| מֵכָנִיקָה | 1 |
| מָתֵימָטִיקָה | 13 |
| מחשבים | 1 |
| מקרוב | 2 |
| נפט/נפט | 1 |
| פיזיקה | 1 |
| תִכנוּת | 5 |