Дехтярь, Михаил Иосифович. - Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.

Экспресс-заказ фрагмента
Дехтярь, Михаил Иосифович.
Дехтярь, Михаил Иосифович.
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.

Теоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Языки программирования
логическое программирование
Шифр хранения:
OD 71 10-1/93

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеСемантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17
Коллекции ЭК РГБ Каталог диссертаций
Коллекции ЭБ РГБ Диссертации
Дата поступления в ЭК РГБ 11.11.2009
Дата поступления в ЭБ РГБ 19.11.2010
Каталоги Диссертации
Сведения об ответственностиДехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]
Выходные данныеТверь, 2009
Физическое описание383 с. : ил.
ТемаТеоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Языки программирования
Термины-указателилогическое программирование
BBK-кодЗ973.233-018.1,0
Специальность05.13.17: Теоретические основы информатики
ЯзыкРусский
Места храненияOD 71 10-1/93
Электронный адрес Электронный ресурс