How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisitedстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
-
Авторы:
Kazakov Yevgeny,
Sattler Ulrike,
Zolin Evgeny
-
Сборник:
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
-
Редактор:
Воронков Андрей Анатольевич
-
Серия:
Lecture Notes in Artificial Intelligence
-
Том:
4790
-
Год издания:
2007
-
Издательство:
Springer Berlin
-
Местоположение издательства:
Heidelberg, Germany
-
Первая страница:
303
-
Последняя страница:
317
-
DOI:
10.1007/978-3-540-75560-9_23
-
Добавил в систему:
Золин Евгений Евгеньевич
Прикрепленные файлы
№ |
Имя |
Описание |
Имя файла |
Размер |
Добавлен |
1. |
Полный текст
|
LPAR conference paper |
zolin_2007_LPAR.pdf |
265,5 КБ |
25 июня 2021
[ezolin]
|
2. |
Полный текст
|
Technical report |
zolin_2007_RBox.pdf |
347,0 КБ |
25 июня 2021
[ezolin]
|