many-sorted abbr. | |
logic | многосортный |
logic abbr. | |
gen. | логика; логичность; разумность; закономерность; логичность аргументации |
IT | логический узел; математическая логика |
| |||
многосортный (Alex_Odeychuk) | |||
с несколькими видами переменных (Alex_Odeychuk) |
many-sorted : 6 phrases in 3 subjects |
Logic | 3 |
Mathematics | 2 |
Programming | 1 |