 |
автоматическое доказательство
| теорем
| автоматическое доказательство | |
| math. | automatic proof |
| теорема | |
| gen. | proposition; theorem; law; prop |
| IT | theorema |
| math. | thm |
| теорема CPT | |
| Makarov. | CPT-theorem |
| phys. | CPT theorem |
| CPT-теорема | |
| Makarov. | CPT-theorem |
| |||
| automatic proof | |||
| автоматическое доказательство: 26 phrases in 7 subjects |
| Artificial intelligence | 16 |
| Information technology | 1 |
| Linguistics | 1 |
| Mathematics | 2 |
| Oil and gas | 1 |
| Programming | 3 |
| Software | 2 |