多种类谓词演算
_
many-sorted predicate calculus
пословный:
多种 | 种类 | 谓词演算 | |
1) многообразный
2) в сложных терминах: поли-
|
1) разновидность, род, порода
2) разряд, категория, класс, сорт, тип, образец, ассортимент
3) биол., лог. вид
4) устар. происхождение (расовое)
|