 |
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 a las frases, 11 temas |
| Computadores | 1 |
| Física | 1 |
| General | 2 |
| Inteligencia artificial | 7 |
| Makárov | 2 |
| Matemáticas | 13 |
| Mecánica | 1 |
| Petróleo | 1 |
| Programación | 5 |
| Tecnología | 2 |
| Tecnología de la información | 4 |