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