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

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

1. О поиске натурального классического логического вывода с использованием частичной скулемизации
   
   Интеллектуальные системы. Теория и приложения, 23:4 (2019),  39–90