many-sorted abbr. | |
logic | многосортный |
calculus abbr. | |
math. ed., subj. | математический анализ; анализ; высшая математика |
med., dis. | камень; конкремент; зубной камень; твёрдые назубные отложения; камень |
news context. | планы |
| |||
многосортный (Alex_Odeychuk) | |||
с несколькими видами переменных (Alex_Odeychuk) |
many-sorted : 6 phrases in 3 subjects |
Logic | 3 |
Mathematics | 2 |
Programming | 1 |