 |
| |||
| доказательство теорем (ssn) | |||
| |||
| доказывать теоремы | |||
|
proving theorems : 39 Phrasen in 11 Thematiken |
| Allgemeine Lexik | 2 |
| Computer | 1 |
| Erdöl | 1 |
| Informationstechnik | 4 |
| Künstliche Intelligenz | 7 |
| Makarow | 2 |
| Mathematik | 13 |
| Mechanik | 1 |
| Physik | 1 |
| Programmierung | 5 |
| Technik | 2 |