Минц, Григорий Ефроимович. - Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 01.01.06;05.13.11 / ЛГУ им. А. А. Жданова. - Ленинград, 1988. - 25 с.
Карточка
Экспресс-заказ фрагмента
Минц, Григорий Ефроимович.
Преобразования доказательств и синтез программ : автореферат дис. ... доктора физико-математических наук : 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 |
