many-sorted | |
logic | многосортный |
first order logic | |
comp. | логика первого порядка |
first-order logic | |
comp. | исчисление предикатов первого порядка |
el. | логика предикатов первого порядка |
| |||
многосортный (Alex_Odeychuk) | |||
с несколькими видами переменных (Alex_Odeychuk) |
many-sorted: 6 phrases in 3 subjects |
Logic | 3 |
Mathematics | 2 |
Programming | 1 |