Охотников Олег Алиевич

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

1. О нормальных выводах в интуиционистском натуральном исчислении предикатов
   
   Тр. ИММ УрО РАН, 30:4 (2024),  188–206
2. О поиске натурального классического логического вывода с использованием частичной скулемизации
   
   Интеллектуальные системы. Теория и приложения, 23:4 (2019),  39–90