Минц, Григорий Ефроимович - Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11

Карточка

Минц, Григорий Ефроимович.

Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11 / ЛГУ им. А. А. Жданова. - Ленинград, 1988. - 25 с.
Математическая логика, алгебра и теория чисел
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
FB 9 88-8/772-3
FB 9 88-8/773-1

Marc21

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

Показать

Описание

Автор
ЗаглавиеПреобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11
Дата поступления в ЭК 25.10.1988
Каталоги Авторефераты диссертаций
Сведения об ответственностиЛГУ им. А. А. Жданова
Выходные данныеЛенинград, 1988
Физическое описание25 с.
ТемаМатематическая логика, алгебра и теория чисел
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
BBK-кодВ123,03
В127,03
З973.2-018.2,0
Специальность01.01.06: Математическая логика, алгебра и теория чисел
05.13.11: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
ЯзыкРусский
Места храненияFB 9 88-8/772-3
FB 9 88-8/773-1