E-mail:
Ключевые слова: логика, поиск вывода, автоматизация дедукции

Основные темы научной работы:

математическая логика

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, г. Екатеринбург