Исследование производительности алгоритмов логического вывода - Осадчая И. А. (Математическое моделирование и компьютерный анализ данных, 2012)
Заглавие с титульного экрана