Язык:

Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11

Ануреев, Игорь Сергеевич

Электронная копия. Библиотека также имеет физические копии.

Заглавие:
Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11
Шифр хранения: 2008-4/11629
Описание: Ануреев И. С. Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11 / Ануреев Игорь Сергеевич ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Б.и., 1998. - 19 с. ; 21 см.. - Библиогр.: с. 19 (6 назв.)
Автор: Ануреев, Игорь Сергеевич
Язык: Русский
Примечания: Библиогр.: с. 19 (6 назв.)
Коллекции: Авторефераты
Системный номер: NLR01 001228924

Ссылки

Назад к списку результатов

Предыдущие Результат 19 Следующие На следующую страницу