Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / Колчин А. В., Летичевский А. А., Потиенко С. В. (2015)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000483830
  Штучний інтелект  Б - 2021  /     Випуск (2015, № 1-2)

Колчин А. В., Летичевский А. А., Потиенко С. В.
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем

Бібліографічний опис:
Колчин А. В., Летичевский А. А., Потиенко С. В. Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем. Штучний інтелект. 2015. № 1-2. С. 127-136. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000483830

English  Artificial intelligence   /     Issue (2015, 1-2)

Kolchin A. V., Letichevskij A. A., Potienko S. V.
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems

Cite:
Kolchin, A. V., Letichevskij, A. A., Potienko, S. V. (2015). A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems. Artificial intelligence, 1-2, 127-136. http://jnas.nbuv.gov.ua/article/UJRN-0000483830 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна