Минц, Григорий Ефроимович - Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11
Карточка
Экспресс-заказ фрагмента
Минц, Григорий Ефроимович.
Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11 / ЛГУ им. А. А. Жданова. - Ленинград, 1988. - 25 с.
Математическая логика, алгебра и теория чисел
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шифр хранения:
Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11 / ЛГУ им. А. А. Жданова. - Ленинград, 1988. - 25 с.
Математическая логика, алгебра и теория чисел
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шифр хранения:
FB 9 88-8/772-3
FB 9 88-8/773-1
Описание
Автор | Минц, Григорий Ефроимович |
---|---|
Заглавие | Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 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 |