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