Алгоритм унификации в методе резолюций для логики предикатов

Публікація:
Алгоритм унификации в методе резолюций для логики предикатов

dc.contributor.author	Прохоров, А. В.
dc.contributor.author	Прохоров, В. П.
dc.date.accessioned	2018-05-30T21:08:07Z
dc.date.available	2018-05-30T21:08:07Z
dc.date.issued	2017
dc.identifier.citation	Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/5637
dc.language.iso	ru	uk_UA
dc.publisher	Харьковский национальный университет радиоэлектроники	uk_UA
dc.title	Алгоритм унификации в методе резолюций для логики предикатов	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication