Анотація: Исследуется возможность расширения формальных теорий для описания предметных областей одного уровня иерархии организационно-технической системы. Предъявляются требования к процедуре расширения формальных теорий.
Бібліографічний опис для цитування:
Метешкин К. А.
Процедура расширения формальных теорий / К.А. Метешкин
// Системи обробки інформації. – 2001. – № 1(11). – С. 175-178.