Поиск вывода и проблемы разрешения в логических и логико-математических исследованиях (Topical Term)

Machine generated authority record.

Work cat.: (AM-YeNLA)1064308: Геолецян, Григор Грантович 176294, Методы параллелизации поиска и их применение при решении некоторых комбинаторных задач :, 2007.