Конев, Борис Юрьевич - Оценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06

Карточка

Конев, Борис Юрьевич.
Конев, Борис Юрьевич.

Оценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06. - Санкт-Петербург, 1998. - 100 с. : ил.
Математическая логика, алгебра и теория чисел
OD 61 99-1/603-4

Документ охраняется авторским правом. Полный текст доступен в РГБ и виртуальных читальных залах. Читать 

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеОценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06
Коллекции ЭБ Диссертации
Дата поступления в ЭК 30.09.1999
Дата поступления в ЭБ 03.09.2014
Каталоги Диссертации
Выходные данныеСанкт-Петербург, 1998
Физическое описание100 с. : ил.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 61 99-1/603-4
Электронный адрес Электронный ресурс