Летичевский, А. Ад. Инсерционное моделирование [Текст] / А. Ад. Летичевский // Управляющие системы и машины. - 2012. - № 6. - С. 3-14. - Библиогр. в конце ст . - ISSN 0130-5395 Рубрики: Кібернетика Кл.слова (ненормовані): верифікація -- багатоагентні системи -- агенти і середовище -- локальні властивості -- предикатний трансформер -- інсерційні машини -- когнітивні архітектури Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |