Дехтярь, Михаил Иосифович. - Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.
Карточка
Экспресс-заказ фрагмента
Дехтярь, Михаил Иосифович.
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.
Теоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Языки программирования
логическое программирование
Шифр хранения:
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН]. - Тверь, 2009. - 383 с. : ил.
Теоретические основы информатики
Вычислительная техника -- Вычислительные машины электронные цифровые -- Автоматическая обработка информации -- Программирование -- Языки программирования
логическое программирование
Шифр хранения:
OD 71 10-1/93
Описание
| Автор | Дехтярь, Михаил Иосифович |
|---|---|
| Заглавие | Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 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 |
| Электронный адрес | Электронный ресурс |
