Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Нигиян, С. А.
    Частичная разрешимость неэквивалентности свободных схем [Текст] / С.А. Нигиян // Программирование. — 1979. — С. 23-33.

- Анотація:

В статье рассматривается класс всех свободных схем программ. Доказывается, что в этом классе частично разрешима проблема невключения, откуда следует частичная разрешимость в нем проблемы неэквивалентности.

- Є складовою частиною документа:

- Теми документа

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних
  • УДК // Математика



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт