Ар09-21386     Дехтярь, М. И.     Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь. - Переславль-Залесский, 2009. - 35 с. - Библиогр.: с. 30-35(49 назв.) ГРНТИ 27.03.17 50.05.13 УДК 510.52(043) 004.42.047(043) Экземпляры всего 1: ХР (1) Свободны: ХР (1)