"带恒等式的谓词演算" [dài héngděngshì de wèicí yǎnsuàn] на русском - Китайско-русский словарь и переводчик - Чжунга

Значения

сущ.

мат.

исчисление предикатов с равенством

Примеры использования

Примеры не найдены :( Добавить пример

В начале слов

Совпадений не найдено :(

Сегментирование

带: dài

恒等式: héngděngshì

的: de; dí; dì

谓词演算: wèicí yǎnsuàn