Ларионов Д. С. Дмитрий Сергеевич & Погребной В. К. Владимир Кириллович. (2005). Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук. Томск, [Б. и.], 2005.
Цитирование в стиле Чикаго (17-е изд.)Ларионов Д. С. Дмитрий Сергеевич и Погребной В. К. Владимир Кириллович. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук. Томск, [Б. и.], 2005, 2005.
Цитирование MLA (9-е изд.)Ларионов Д. С. Дмитрий Сергеевич и Погребной В. К. Владимир Кириллович. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук. Томск, [Б. и.], 2005, 2005.