1. Репозиторий ТюмГУ

Search


Current filters:



Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-4 of 4 (Search time: 0.004 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2013Применение табличного алгоритма для верификации моделей бизнес-процессовIvashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2013Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептовIvashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.
2013Математические методы и алгоритмы определения согласованности баз знаний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18Ивашко, А. Г.; Григорьев, А. В.
2013Optimized absorption method to reduce the time of tableaux algorithmГригорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.

Discover