英语 ⇄ 俄语 英语 +

linear temporal logic 强调
编程	линейная темпоральная логика (сокр. LTL ssn); темпоральная логика линейного времени (сокр. LTL ssn); логика линейного времени (ssn)
英语 词库
Linear Temporal Logic
缩写, 编程	LTL (ssn)