Доценко, В. (2008). Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів. Інститут проблем штучного інтелекту МОН України та НАН України.
Chicago Style (17th ed.) CitationДоценко, В.А. Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів. Інститут проблем штучного інтелекту МОН України та НАН України, 2008.
MLA (8th ed.) CitationДоценко, В.А. Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів. Інститут проблем штучного інтелекту МОН України та НАН України, 2008.
Warning: These citations may not always be 100% accurate.