Доценко, В. (2007). Конструктивний алгоритм зворотного методу для числення висловлювань. Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України.
Chicago-Zitierstil (17. Ausg.)Доценко, В.А. Конструктивний алгоритм зворотного методу для числення висловлювань. Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України, 2007.
MLA-Zitierstil (8. Ausg.)Доценко, В.А. Конструктивний алгоритм зворотного методу для числення висловлювань. Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.