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

Проста сторінка документа
dc.contributor.authorПрохоров, А. В.
dc.contributor.authorПрохоров, В. П.
dc.date.accessioned2018-05-30T21:08:07Z
dc.date.available2018-05-30T21:08:07Z
dc.date.issued2017
dc.identifier.citationПрохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/5637
dc.language.isoruuk_UA
dc.publisherХарьковский национальный университет радиоэлектроникиuk_UA
dc.titleАлгоритм унификации в методе резолюций для логики предикатовuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
Страницы 53-57 из Maket 2017 4 NEW.pdf
Розмір:
833.57 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кафедра автоматизації проектування обчислювальної техніки (АПОТ)