1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 1(11)'2001
  5. Процедура расширения формальных теорий

Процедура расширения формальных теорий

К.А. Метешкин
Системи обробки інформації. — 2001. — № 1(11). – С. 175-178.
Тематика статті: Загальні питання
УДК 512.66
Мова статті: російська

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