Сухих, Александр Юрьевич - Применение теории дедуктивного вывода к синтезу программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09

Экспресс-заказ фрагмента
Сухих, Александр Юрьевич.
Применение теории дедуктивного вывода к синтезу программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Моск. физ.-техн. ин-т. - Москва, 1988. - 16 с.

Математическая кибернетика
Шифр хранения:
FB 9 88-7/2187-Х
FB 9 88-7/2188-8

Marc21

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

Показать

Описание

Автор
ЗаглавиеПрименение теории дедуктивного вывода к синтезу программ : автореферат дис. ... кандидата физико-математических наук : 01.01.09
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 11.10.1988
Каталоги Авторефераты диссертаций
Сведения об ответственностиМоск. физ.-техн. ин-т
Выходные данныеМосква, 1988
Физическое описание16 с.
ТемаМатематическая кибернетика
BBK-кодЗ973.2-018-5-05,0
Специальность01.01.09: Дискретная математика и математическая кибернетика
ЯзыкРусский
Места храненияFB 9 88-7/2187-Х
FB 9 88-7/2188-8