several-sorted
| predicate calculus
| several-sorted abbr. | |
| Makarov. | нескольких видов; нескольких типов |
| predicate calculus abbr. | |
| IT | исчисление предикатов : |
| |||
| нескольких видов; нескольких типов | |||
|
several-sorted : 2 phrases in 1 subject |
| Mathematics | 2 |