|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the 26th International Workshop on Description Logics (DL 2013)сборник
- Год издания: 2013
- Серия: CEUR Workshop Proceedings (CEUR-WS.org)
- Том: 1014
- Место издания: CEUR-WS.org
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2013 Query Answering via Modal Definability with FaCT++: First Blood
- Kikot Stanislav, Tsarkov Dmitry, Zakharyaschev Michael, Zolin Evgeny
- в сборнике Proceedings of the 26th International Workshop on Description Logics (DL 2013), серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR-WS.org, том 1014, с. 328-340