«many-sorted calculus»

many-sorted calculus в энциклопедиях

Источники

Большой англо-русский и русско-английский словарь

Поделиться

Большой англо-русский и русско-английский словарь

мат. исчисление с несколькими видами переменных