Browsing by Author Grigorev, A. V.
Showing results 1 to 2 of 2
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.; Ивашко, А. Г.; Григорьев, А. В.; Григорьев, М. В. |