Формализация знаний в системах искусственного интеллекта

Курс по выбору для аспирантов факультета ВМК