Тезисы доклада

"Автоматизация программирования", представленного на Третий математический съезд.