Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.17 <Теорет. основы информатики>

Заглавие:Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.17 <Теорет. основы информатики>

Физическое описание:35 с.

Библиотечный фонд:Российская Национальная Библиотека

Полное библиографическое описание

Доступные права:

Просмотр:

• 100% от первой страницы документа

Печать:

• Произвольный отрывок, составляющий 25% документа