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