Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов
|
|
| Creator |
Волченко, М.В.
Volchenko, M.V. |
|
| Date |
2013-04-21T18:58:44Z
2013-04-21T18:58:44Z 2012 |
|
| Identifier |
УДК 004.832.38
http://ea.donntu.edu.ua/handle/123456789/18976 |
|