quantifier-elimination
| procedure
| quantifier elimination abbr. | |
| AI. | элиминация кванторов |
| procedure abbr. | |
| gen. | методика; образ действия; процедура; метод; способ; техника |
| |||
| элиминация кванторов (Microsoft Alex_Odeychuk) | |||
|
quantifier-elimination : 6 phrases in 3 subjects |
| Artificial intelligence | 2 |
| Mathematics | 3 |
| Programming | 1 |