Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту. Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання
Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту. Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання
