Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах
Замов, Наиль Калимович, 1972, кандидатская диссертация
Ленингр. отд-ние Мат. ин-та им. В. А. Стеклова Ан СССР, Казань
104 стр.
Другие работы по этой специальности
- Конечные минимальные не lg-группы
Ходалевич, Александр Дмитриевич · Канд. наук
- Классы конечных групп с формационными подгруппами
Ергалиева, Кулара Онгаровна · Канд. наук
- Совместные диофантовы приближения и векторы с алгебраическими координатами
Пантелеева, Жанна Ивановна · 2023 · Канд. наук
- Мажоризации матриц и их эндоморфизмы
Штейнер, Павел Михайлович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
- Бесконечные группы с заданным способом вложения конечных подгрупп
Шлепкин, Алексей Анатольевич · 2022 · Докт. наук · ФГБУН Институт математики и механики им. Н.Н. Красовского Уральского отделения Российской академии наук