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

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

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

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