Skip navigation

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 12 (Search time: 0.09 seconds).
Item hits:
Issue DateTitleAuthor(s)
2008Представление знаний в концепции объектно-ориентированного логического программированияКузнецов, А. В.
2008Формальний опис структурно-параметричних характеристик технічного текстуСтіренко, Сергій Григорович
2008Доказове управління генерацією та модифікацією програмних модулів для інформаційно-аналітичних системБуханцов, С. Н.; Пустоваров, В. І.; Стіренко, С. Г.; Желудкова, Т. В.
2009Способ реконструирования предложений естественного языка по грамматическим признакамКузнецов, А. В.
2008Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікаціїПустоваров, В. І.
2011Механізми включення засобів формальних специфікацій до баз знань комп'ютерних мовПустоваров, В. І.
2013Функциональные расширения промышленных автоматизированных систем контроля и управленияПустоваров, В. И.; Бойко, В. В.; Лемешко, В. А.; Pustovarov, V. I.; Boiko, V. V.; Lemeshko, V. A.
2008Способ повышения эффективности GRID систем на базе сетей MPLSКулаков, А. Ю.
2007Смысловая аморфность в грамматических сигнатурах предложений естественного языкаКузнецов, А. В.
2007Математический аппарат формализации моделей, используемых при проектировании информационных системБолдак, А. А.; Невдащенко, М. В.