Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

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

Карточка

Гавриленко, Юрий Вячеславович.
Гавриленко, Юрий Вячеславович.

Конгруэнции на термах и унификация : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Рос. АН. ВЦ. - Москва, 1993. - 18 с.
Математическая кибернетика
9 93-3/355-3
9 93-3/356-1

Документ в свободном доступе. Читать 

Описание

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

Marc21

Показать

Документ

Страница 1 / 1