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

 

Непомнящий, В. А.
    О проблеме пустоты схем программ І [Текст] / В.А. Непомнящий // Программирование. — 1976. — С. 43-51.


- Анотація:

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

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

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

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



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