Зведений каталог бібліотек Харкова
Непомнящий, В. А. О проблеме пустоты схем программ І [Текст] / В.А. Непомнящий // Программирование. — 1976. — С. 43-51.
- Анотація:
Доказывается неразрешимость проблемы пустоты в классе всех схем над базисом.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 1976.
- Теми документа