«分支时间瞬时逻辑»

分支时间瞬时逻辑 в энциклопедиях

Источники

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

Поделиться

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

_

branching-time temporal logic