many-sorted logic
| with
| parametric polymorphism
| many-sorted logic abbr. | |
| logic | многосортная логика |
| with abbr. | |
| gen. | при; от; касательно; несмотря на; над; обо |
| Makarov. | при раздельной работе; при параллельной работе |
| parametric polymorphism abbr. | |
| progr. | параметрический полиморфизм; параметрический полиморфизм |
| |||
| многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) | |||
|
many-sorted logic : 3 phrases in 2 subjects |
| Logic | 2 |
| Programming | 1 |