![]() |
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 phrases, 11 sujets |
| Général | 2 |
| Informatique | 4 |
| Intelligence artificielle | 7 |
| Makarov | 2 |
| Mathématiques | 13 |
| Mécanique | 1 |
| Ordinateurs | 1 |
| Pétrole / pétrole | 1 |
| Physique | 1 |
| Programmation | 5 |
| Technologie | 2 |