«一阶动态逻辑»

一阶动态逻辑 в энциклопедиях

Источники

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

Поделиться

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

_

first-order dynamic logic