 |
многосортная логика
| с
| параметрическим полиморфизмом
| многосортная логика | |
| logic | many-sorted logic |
| с | |
| gen. | offering; the size of; from; from; from; to |
| el. | centi-; second |
| параметрический полиморфизм | |
| progr. | parametric polymorphism |
| |||
| many-sorted logic (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) | |||
| многосортная логика: 3 phrases in 2 subjects |
| Logic | 2 |
| Programming | 1 |
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error
| Get short URL | Language Selection Tips