Ларионов Д. С. Дмитрий Сергеевич & Погребной В. К. (2005). Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01. Томск, [Б. и.], 2005.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումЛарионов Д. С. Дмитрий Сергеевич and Погребной В. К. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01. Томск, [Б. и.], 2005, 2005.
MLA (9րդ խմբ.) ՄեջբերումЛарионов Д. С. Дмитрий Сергеевич and Погребной В. К. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01. Томск, [Б. и.], 2005, 2005.