Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов

Превью изображение
Читать (3.91 MB)

Аннотация

Описание

Авторы

Составители/Переводчики

Год

1993

Journal Title

Journal ISSN

Volume Title

Издательство

Ключевые слова

алгоритмы, формальные теории, вычисления, авторефераты диссертаций, информатика

Коллекции

22.1 Математика
dc.contributor.authorБельтюков, Анатолий Петрович
dc.contributor.otherСлисенко, Анатоль Олесьевич
dc.date.accessioned2018-03-23T06:25:29Z
dc.date.available2018-03-23T06:25:29Z
dc.date.issued1993
dc.identifier.citationБельтюков, Анатолий Петрович. Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.17 - теоретические основы информатики / Бельтюков Анатолий Петрович ; [научный консультант - Слисенко А. О.] ; Санкт-Петербургский государственный университет. - Санкт-Петербург, 1993. - 20 с.ru_RU
dc.identifier.otherarhiv_book_04334
dc.identifier.urihttp://eanbur.unatlib.ru/handle/123456789/6016
dc.language.isoruru_RU
dc.subjectалгоритмыru_RU
dc.subjectформальные теорииru_RU
dc.subjectвычисленияru_RU
dc.subjectавторефераты диссертацийru_RU
dc.subjectинформатикаru_RU
dc.titleДедуктивный синтез алгоритмов с учетом вычислительных ресурсовru_RU
dc.typeThesisru_RU