Домрачев, Владимир Николаевич - Исследование свойств программ средствами Λ -исчисления : автореферат дис. ... кандидата физико-математических наук : 01.01.09

Карточка

Домрачев, Владимир Николаевич.

Исследование свойств программ средствами Λ -исчисления : автореферат дис. ... кандидата физико-математических наук : 01.01.09 / Киев. гос. ун-т им. Т. Г. Шевченко. - Киев, 1989. - 16 с.
Математическая кибернетика
FB 9 89-4/779-5
FB 9 89-4/780-9

Marc21

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

Показать

Описание

Автор
ЗаглавиеИсследование свойств программ средствами Λ -исчисления : автореферат дис. ... кандидата физико-математических наук : 01.01.09
Дата поступления в ЭК 27.07.1989
Каталоги Авторефераты диссертаций
Сведения об ответственностиКиев. гос. ун-т им. Т. Г. Шевченко
Выходные данныеКиев, 1989
Физическое описание16 с.
ТемаМатематическая кибернетика
BBK-кодЗ973.2-018,0
Специальность01.01.09: Дискретная математика и математическая кибернетика
ЯзыкРусский
Места храненияFB 9 89-4/779-5
FB 9 89-4/780-9