Алгоритм унификации в методе резолюций для логики предикатов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгоритм унификации в методе резолюций для логики предикатов
|
|
| Creator |
Прохоров, А. В.
Прохоров, В. П. |
|
| Date |
2018-05-30T21:08:07Z
2018-05-30T21:08:07Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57
http://openarchive.nure.ua/handle/document/5637 |
|
| Language |
ru
|
|
| Publisher |
Харьковский национальный университет радиоэлектроники
|
|