Английский ⇄ Английский Русский +

linear temporal logic ударения
прогр.	линейная темпоральная логика (сокр. LTL ssn); темпоральная логика линейного времени (сокр. LTL ssn); логика линейного времени (ssn)
Английский тезаурус
Linear Temporal Logic
сокр., прогр.	LTL (ssn)