Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Source
Help
Language
English
русский
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Репозиторий ТюмГУ
Search
Search:
All of DSpace
Научные издания
Общеуниверситетские коллекции
Периодические издания
for
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-4 of 4 (Search time: 0.003 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2013
Применение табличного алгоритма для верификации моделей бизнес-процессов
Ivashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2013
Математические методы и алгоритмы определения согласованности баз знаний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18
Ивашко, А. Г.; Григорьев, А. В.
2013
Optimized absorption method to reduce the time of tableaux algorithm
Григорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.
2013
Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов
Ivashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.
Discover
Author
2
Grigoryev, A. V.
2
Ivashko, A. G.
2
Ovsyannikova, E. O.
2
Ивашко, А. Г.
2
Овсянникова, Е. О.
1
Grigorev, A. V.
1
Kropotin, A. A.
1
Кропотин, А. А.
Subject
1
изоморфизм
1
имитационное моделирование
1
импликация
1
инженер по знаниям
1
концепт
1
математические методы
1
математическое моделирование
1
предметная область
1
программный комплекс
1
согласованность баз
.
< previous
next >