Публікація: Алгоритм унификации в методе резолюций для логики предикатов
Завантаження...
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
Харьковский национальный университет радиоэлектроники
Анотація
Опис
Ключові слова
Цитування
Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57