![]() |
система доказательства | |
scient. | proof system |
теорема | |
gen. | proposition; theorem; law; prop |
IT | theorema |
math. | thm |
теорема CPT | |
Makarov. | CPT-theorem |
phys. | CPT theorem |
CPT-теорема | |
Makarov. | CPT-theorem |
| |||
proof system (MichaelBurov) |
система доказательства: 30 phrases in 11 subjects |
Advertising | 1 |
Artificial intelligence | 10 |
Cryptography | 6 |
General | 2 |
Information security and data protection | 2 |
Law | 2 |
Makarov | 2 |
Mathematics | 1 |
Programming | 2 |
Security systems | 1 |
Software | 1 |