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

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

Карточка

Барздинь, Гунтис Янович.

Индуктивный синтез систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Сиб. отд-ние. ВЦ. - Новосибирск, 1990. - 17 с.
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
9 90-11/733-4
9 90-11/734-2

Marc21

Показать

Описание

Автор
ЗаглавиеИндуктивный синтез систем подстановок термов : автореферат дис. ... кандидата физико-математических наук : 05.13.11
Дата поступления в ЭК 18.03.1991
Каталоги Авторефераты диссертаций
Сведения об ответственностиСиб. отд-ние. ВЦ
Выходные данныеНовосибирск, 1990
Физическое описание17 с.
ТемаМатематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
BBK-кодВ127,03
Специальность05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места хранения9 90-11/733-4
9 90-11/734-2