quantifiers elimination
| theorem
| quantifier elimination abbr. | |
| AI. | элиминация кванторов |
| theorem abbr. | |
| gen. | теорема; выражать посредством теоремы |
| cartogr. tradem. publish. | лист чертёжной бумаги 28 х 34 дюйма |
| Makarov. | закон; начало; постулат; принцип; утверждение |
| tech. | формула; предложение |
| |||
| элиминация кванторов (Microsoft Alex_Odeychuk) | |||
|
quantifiers elimination : 6 phrases in 3 subjects |
| Artificial intelligence | 2 |
| Mathematics | 3 |
| Programming | 1 |