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

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

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

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР99-647)

Шифр в сводном ЭК: 698430075aeed2b7c768237fe223cef7

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