1. Наука
  2. Видання
  3. Інформаційні системи
  4. 3(4)'1998
  5. Задача планирования действий системы в пространстве состояний

Задача планирования действий системы в пространстве состояний

А. Н. Твердохлеб
Інформаційні системи. — 1998. — № 3(4). — С. 126-130.
Тематика статті: Загальні питання
УДК 681.51
Мова статті: російська

В статье рассматриваются вопросы планирования и прогнозирования действий некоторой системы в пространстве состояний с использованием методов автоматического доказательства теорем.
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Твердохлеб А. Н. Задача планирования действий системы в пространстве состояний / А. Н. Твердохлеб  // Інформаційні системи. — 1998. — № 3. — С. 126-130.