1. Електронний архів ДонНТУ м.Покровськ

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-5 of 5 (Search time: 0.001 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2012Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктовВолченко, М.В.; Volchenko, M.V.
2013-05-19RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATIONVolchenko, M.V.
2010Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктовГрунский, И.С.; Волченко, М.В.; Grunckiy, I.S.; Volchenko, M.V.
2010Оптимизация алгоритма вывода в логике высказываний для 0,1-ного представления дизъюнктовВолченко, М.В.; Volchenko, M.V.
2009Представление терминов для алгоритма резолюций логики высказыванийВолченко, М.В.; Volchenko, M.V.

Discover