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