Поиск :
Личный кабинет :
Электронный каталог: Оноприенко, А. А. - Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC
Оноприенко, А. А. - Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC

Статья
Автор: Оноприенко, А. А.
Доклады Российской академии наук. Математика, информатика, процессы управления: Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC
б.г.
ISBN отсутствует
Автор: Оноприенко, А. А.
Доклады Российской академии наук. Математика, информатика, процессы управления: Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC
б.г.
ISBN отсутствует
Статья
Оноприенко, А. А.
Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC / А. А. Оноприенко // Доклады Российской академии наук. Математика, информатика, процессы управления. – 11-2023. – Т. 514. – С. 123-128.
-- 1. Математика.
Оноприенко, А. А.
Об аналогах теорем Эрбрана и Харропа для современной логики задач и высказываний QHC / А. А. Оноприенко // Доклады Российской академии наук. Математика, информатика, процессы управления. – 11-2023. – Т. 514. – С. 123-128.
-- 1. Математика.
На полку