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