Proceedings of the 23rd International Workshop on Description Logics (DL 2010)‚ Waterloo‚ Ontario‚ Canada‚ May 4−7‚ 2010

书目详细资料
其他作者: Haarslev, V
格式: Conference item
出版: CEUR−WS.org 2010