Алгоритм распознования выполнимости формул логики ветвящегося времени и его применение : автореф. дис. на соиск. учен. степ. к.ф.-м.н. : спец. 01.01.09

Заглавие:Алгоритм распознования выполнимости формул логики ветвящегося времени и его применение : автореф. дис. на соиск. учен. степ. к.ф.-м.н. : спец. 01.01.09

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

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

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

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

Просмотр:

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

Печать:

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