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
Научные издания
Acarina
BRICS Law Journal
Language & Science
Вестник ТюмГУ: Гуманитарные исследования. Humanitates
Вестник ТюмГУ: Социально-экономические и правовые исследования
Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
Вестник ТюмГУ: Экология и природопользование
Европа: международный альманах
Образование в Сибири: журнал теоретических и прикладных исследований
Сибирский исторический журнал
Сибирский социум (SIBERIAN SOCIUM)
Ученые записки ТГПИ
Филологический дискурс
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
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
Optimized absorption method to reduce the time of tableaux algorithm
Григорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.
2013
Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов
Ivashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.
2012
Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов
Ivashko, A. G.; Grigorev, A. V.; Grigoryev, M. V.; Ивашко, А. Г.; Григорьев, А. В.; Григорьев, М. В.
Discover
Author
3
Ivashko, A. G.
3
Ивашко, А. Г.
2
Grigorev, A. V.
2
Grigoryev, A. V.
2
Ovsyannikova, E. O.
2
Овсянникова, Е. О.
1
Grigoryev, M. V.
1
Kropotin, A. A.
1
Григорьев, М. В.
1
Кропотин, А. А.
.
next >
Subject
4
дескрипционная логика
3
description logic
3
табличный алгоритм
2
concept
2
simulation modeling
2
tableau algorithm
2
имитационное моделирование
2
концепт
1
BPMN
1
business-process
.
next >
Date issued
3
2013
1
2012
Has File(s)
4
true