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