Поиск :
Личный кабинет :
Электронный каталог: Васильев, С. Н. - Типово-кванторное исчисление позитивно-образованных формул с отрицаниями
Васильев, С. Н. - Типово-кванторное исчисление позитивно-образованных формул с отрицаниями
Статья
Автор: Васильев, С. Н.
Доклады Российской академии наук. Математика, информатика, процессы управления: Типово-кванторное исчисление позитивно-образованных формул с отрицаниями
б.г.
ISBN отсутствует
Автор: Васильев, С. Н.
Доклады Российской академии наук. Математика, информатика, процессы управления: Типово-кванторное исчисление позитивно-образованных формул с отрицаниями
б.г.
ISBN отсутствует
На полку
Статья
Васильев, С. Н.
Типово-кванторное исчисление позитивно-образованных формул с отрицаниями / С. Н. Васильев // Доклады Российской академии наук. Математика, информатика, процессы управления. – 05-2025. – Т. 523. – С. 15-20.
-- 1. Математика.
Васильев, С. Н.
Типово-кванторное исчисление позитивно-образованных формул с отрицаниями / С. Н. Васильев // Доклады Российской академии наук. Математика, информатика, процессы управления. – 05-2025. – Т. 523. – С. 15-20.
-- 1. Математика.
Привязано к:
Доступно
1 из 1
Выпуск
Доклады Российской академии наук. Математика, информатика, процессы управления Т. 523
05-2025 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОПИ
Доклады Российской академии наук. Математика, информатика, процессы управления Т. 523
05-2025 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОПИ