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