Представление термов для алгоритма резолюции логики высказываний
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Представление термов для алгоритма резолюции логики высказываний
|
|
| Creator |
Волченко, М.В.
|
|
| Date |
2012-06-22T06:28:40Z
2012-06-22T06:28:40Z 2009-11 |
|
| Type |
Article
|
|
| Identifier |
http://ea.donntu.edu.ua/handle/123456789/14331
|
|
| Relation |
Информатика и компьютерные технологии;V
|
|
| Publisher |
Донецкий национальный технический университет
|
|