| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 40 phrases in 11 subjects |
| Artificial intelligence | 7 |
| Computers | 1 |
| General | 2 |
| Information technology | 4 |
| Makarov | 2 |
| Mathematics | 14 |
| Mechanics | 1 |
| Oil / petroleum | 1 |
| Physics | 1 |
| Programming | 5 |
| Technology | 2 |