Вид документа:

Стаття періодики

Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4(79). – С. 53–57.



Складова документа:
Радиоэлектроника и информатика : научно-технический журнал. № 4(79) / ХТУРЭ // Радиоэлектроника и информатика. – Харьков, 2017