| Информация о подготовке Трудов Ургенчского симпозиума к печати.
Пометки, 07.12.1979(?)о ходе подготовки к печати статьи А.В. Анисимова "Преобразователи Черча-Россера и разрешимые свойства обработки деревьев".
Статья, 07.12.1979"Преобразователи Черча-Россера и разрешимые свойства обработки деревьев".
Пометки, 29.12.1979(?)о ходе подготовки к печати статьи А.О. Буды "Об опыте езды на двух конях в программировании".
Статья, 29.12.1979"Об опыте езды на двух конях в программировании".
Пометки, 09.01.1980(?)о ходе подготовки к печати статьи Ю. Матиясевича "Что делать после установления неразрешимости алгорифмической проблемы?".
Статья, 09.01.1980"Что делать после установления неразрешимости алгорифмической проблемы?"
Пометки, 11.01.1980(?)о ходе подготовки к печати статьи Ю.И. Манина "Расширяющаяся конструктивная вселенная".
Статья, 11.01.1980"Расширяющаяся конструктивная вселенная".
Пометки, 21.01.1980(?)о ходе подготовки к печати статьи Э.Х. Тыугу "Структурный синтез программ".
Статья, 21.01.1980"Структурный синтез программ".
Пометки, 23.01.1980(?)о ходе подготовки к печати статьи Г.М. Адельсона-Вельского и А.О. Слисенко "Что мы можем сделать с задачами полного перебора?".
Статья, 23.01.1980"Что мы можем сделать с задачами полного перебора?"
Пометки, 01.04.1980(?)о ходе подготовки к печати статьи Х. Земанека "Аль-Хорезми: происхождение, личность, работы, влияние".
Препринт, 01.04.1980статьи Х. Земанека "Dixit Algorizmi" ("Аль-Хорезми: происхождение, личность, работы, влияние").
Пометки, 22.04.1980о ходе подготовки к печати статьи Я.М. Барздиня "Об индуктивном синтезе программ".
Статья, 22.04.1980"Об индуктивном синтезе программ".
Пометки, 04.06.1980(?)о ходе подготовки к печати статьи А.А. Летичевского "О поиске инвариантных соотношений в программах".
Статья, 04.06.1980"О поиске инвариантных соотношений в программах".
Пометки, 04.06.1980(?)о ходе подготовки к печати статьи В.М. Глушкова "О формальных преобразованиях алгоритмов".
1
2
3
4
По порядку | По алфавиту | По дате |
