 |
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 фраз в 11 тематиках |
| Загальна лексика | 2 |
| Інформаційні технології | 4 |
| Комп'ютери | 1 |
| Макаров | 2 |
| Математика | 13 |
| Механіка | 1 |
| Нафта | 1 |
| Програмування | 5 |
| Техніка | 2 |
| Фізика | 1 |
| Штучний інтелект | 7 |