Бельтюков, Анатолий ПетровичСлисенко, Анатоль Олесьевич2018-03-232018-03-231993Бельтюков, Анатолий Петрович. Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.17 - теоретические основы информатики / Бельтюков Анатолий Петрович ; [научный консультант - Слисенко А. О.] ; Санкт-Петербургский государственный университет. - Санкт-Петербург, 1993. - 20 с.arhiv_book_04334http://eanbur.unatlib.ru/handle/123456789/6016ruалгоритмыформальные теориивычисленияавторефераты диссертацийинформатикаThesis