Репозиторий ТюмГУ: Browsing DSpace

Browsing by Subject табличный алгоритм

Jump to: 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
А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
2013	Optimized absorption method to reduce the time of tableaux algorithm	Григорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; 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.; Кропотин, А. А.; Бидуля, Ю. В.; Ивашко, А. Г.; Самойлов, М. Ю.
2013	Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов	Ivashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.

Showing results 1 to 4 of 4