Репозиторий ТюмГУ: Просмотр архива электронных ресурсов

Просмотр собрания по группе - Тема description logic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:

Результаты 1 по 7 из 7

Дата выпуска	Название	Автор(ы)
2013	Reduction of interpretation space through discovering isomorphic concepts	Ivashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.
2013	Use of tableau algorithm for business process verification	Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2012	Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов	Ivashko, A. G.; Grigorev, A. V.; Grigoryev, M. V.; Ивашко, А. Г.; Григорьев, А. В.; Григорьев, М. В.
2018	Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документов	Kropotin, A. A.; Bidulya, Yu. V.; Ivashko, A. G.; Samoylov, M. Yu.; Кропотин, А. А.; Бидуля, Ю. В.; Ивашко, А. Г.; Самойлов, М. Ю.
2012	Применение дескрипционной логики для описания архитектуры информационной системы	Ivashko, A. G; Ivanova, E. I.; Ovsyannikova, E. O.; Kolomieyts, S. I.; Ивашко, А. Г.; Иванова, Е. И.; Овсянникова, Е. О.; Коломиец, С. И.
2013	Применение табличного алгоритма для верификации моделей бизнес-процессов	Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2013	Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов	Ivashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.

Результаты 1 по 7 из 7