Новосельцев В. Б. Виталий Борисович. (2008). Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5: Управление, вычислительная техника и информатика. 2008.
Chicago Style (17th ed.) CitationНовосельцев В. Б. Виталий Борисович. Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5: Управление, вычислительная техника и информатика. 2008, 2008.
MLA (9th ed.) CitationНовосельцев В. Б. Виталий Борисович. Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5: Управление, вычислительная техника и информатика. 2008, 2008.