ru
Абитуриентам
Студентам
Пеподавателям

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

Добро пожаловать на обновленном сайте! Мы ведем уточнения и обновления информации. Ждем ваши отзывы и предложения. Если вы заметили какую-либо ошибку, пожалуйста, сообщите нам
finish what you start
© 2018 Кафедра вычислительной техники КПИ им. Игоря Сикорского
О сайте
Друзья сайта
Архив