| DC Field | Value | Language |
|---|
| dc.contributor.author | Ivashko, A. G. | en |
| dc.contributor.author | Grigorev, A. V. | en |
| dc.contributor.author | Grigoryev, M. V. | en |
| dc.contributor.author | Ивашко, А. Г. | ru |
| dc.contributor.author | Григорьев, А. В. | ru |
| dc.contributor.author | Григорьев, М. В. | ru |
| dc.date.accessioned | 2018-12-12T09:10:41Z | - |
| dc.date.available | 2018-12-12T09:10:41Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.citation | Ивашко, А. Г. Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов / А. Г. Ивашко, А. В. Григорьев, М. В. Григорьев // Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика / главный редактор Г. Ф. Шафранов-Куцев. – Тюмень : Издательство Тюменского государственного университета, 2012. – № 4. – С. 143-150. | ru |
| dc.identifier.issn | 1562-2983 | - |
| dc.identifier.issn | 1994-8484 | - |
| dc.identifier.uri | https://elib.utmn.ru/jspui/handle/ru-tsu/14484 | - |
| dc.description.abstract | The article considers researching the necessity of tableau algorithm changing with aim to reduce algorithm work time, for providing an opportunity of its using for checking large knowledge bases. | en |
| dc.description.abstract | Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времени работы для обеспечения возможности его использования при проверке баз знаний больших объемов. | ru |
| dc.format.mimetype | application/pdf | en |
| dc.language.iso | ru | en |
| dc.publisher | Издательство Тюменского государственного университета | ru |
| dc.relation.ispartof | Вестник Тюменского государственного университета. Серия: Физико-математические науки. Информатика. – 2012. – № 4 | ru |
| dc.subject | description logic | en |
| dc.subject | role | en |
| dc.subject | concept | en |
| dc.subject | simulation modeling | en |
| dc.subject | tableau algorithm | en |
| dc.subject | концепт | ru |
| dc.subject | дескрипционная логика | ru |
| dc.subject | имитационное моделирование | ru |
| dc.subject | табличный алгоритм | ru |
| dc.subject | роль | ru |
| dc.title | Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов | ru |
| dc.title.alternative | Modification of tableau algorithm based on checking disjointness of complex concepts | en |
| dc.type | Article | en |
| dc.type | info:eu-repo/semantics/publishedVersion | en |
| dc.type | info:eu-repo/semantics/article | en |
| local.description.firstpage | 143 | - |
| local.description.lastpage | 150 | - |
| local.issue | 4 | - |
| local.identifier.uuid | e11fc64e-1e90-4880-b03d-d8b4cd3b74ce | - |
| local.identifier.handle | ru-tsu/14484 | - |
| Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Skip navigation