Гавриленко, Юрий Вячеславович - Конгруэнции на термах и унификация : автореферат дис. ... кандидата физико-математических наук : 01.01.09

Гавриленко, Юрий Вячеславович.
Экспресс-заказ фрагмента
Гавриленко, Юрий Вячеславович.
Конгруэнции на термах и унификация : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Рос. АН. ВЦ. - Москва, 1993. - 18 с.

Математическая кибернетика
Шифр хранения:
FB 9 93-3/355-3
FB 9 93-3/356-1

Marc21

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

Показать

Описание

Автор
ЗаглавиеКонгруэнции на термах и унификация : автореферат дис. ... кандидата физико-математических наук : 01.01.09
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЭК 18.01.1994
Дата поступления в ЭБ 19.09.2007
Каталоги Авторефераты диссертаций
Сведения об ответственностиРос. АН. ВЦ
Выходные данныеМосква, 1993
Физическое описание18 с.
ТемаМатематическая кибернетика
BBK-кодЗ811с11,0
Специальность01.01.09: Дискретная математика и математическая кибернетика
ЯзыкРусский
Места храненияFB 9 93-3/355-3
FB 9 93-3/356-1
Электронный адрес Электронный ресурс