Игорь Павлович

Соловьев

Доцент кафедры информатики
математико-механического факультета
Санкт-Петербургского
государственного университета

Основные направления исследовательской работы:

• Искусственный интеллект
• Логическое программирование
• Теория вычислительных процессов
• Формальные спецификации вычислительных систем

Учебные курсы

is1483.spb.edu

soloviev @

math.spbu.ru

Разное