Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedingsсборник
Статьи, опубликованные в сборнике
2007
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
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 , издательство Springer Berlin (Heidelberg, Germany) , том 4790, с. 303-317
DOI
редактор
Воронков Андрей Анатольевич