Барздинь, Гунтис Янович - Индуктивный синтез систем подстановок термов : диссертация ... кандидата физико-математических наук : 05.13.11

Экспресс-заказ фрагмента
Барздинь, Гунтис Янович.
Индуктивный синтез систем подстановок термов : диссертация ... кандидата физико-математических наук : 05.13.11 / Сиб. отд-ние. ВЦ. - Рига, 1990. - 116 с.

Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Шифр хранения:
OD 61 91-1/1189

Marc21

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

Показать

Описание

Автор
ЗаглавиеИндуктивный синтез систем подстановок термов : диссертация ... кандидата физико-математических наук : 05.13.11
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЭК 18.03.1991
Каталоги Диссертации
Сведения об ответственностиСиб. отд-ние. ВЦ
Выходные данныеРига, 1990
Физическое описание116 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ127,03
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияOD 61 91-1/1189