«时态逻辑»

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

Поделиться

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

_

temporal logic; tense logic