ua
Абітурієнтам
Студентам
Викладачам

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

Вітаємо на оновленому сайті! Ми ведемо уточнення та оновлення інформації. Чекаємо на ваші відгуки та пропозиції. Якщо ви помітили якусь помилку, будь ласка, повідомте нас
finish what you start
© 2018 Кафедра обчислювальної техніки КПІ ім. Ігоря Сікорського
Про сайт
Друзі сайту
Архів