Застосування темпоральної логіки при побудові формальних моделей електронних текстів Journal title: Вісник Національного технічного університету "ХПІ" Серія: Нові рішення у сучасних технологіях Authors: Anastasia Vavilenkova Subject(s):
