Anglais ⇄ Langues chinoises Russe +

highly automated logic contraintes
milit., aviat.	язык программирования для решения задач в реальном времени
techn.	высокоавтоматизированная логика; логические схемы высокого уровня