Полное описание

АР99-647
Ануреев, И. С. Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев. - Новосибирск : [б. и.], 1998. - 19 с. - Текст : непосредственный.
В надзаг. :Рос.АН,Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 19(6 назв.)

ГРНТИ	УДК
50.05.13	004.415.5(043)

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽