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

Bibliographic Details
Other Authors: Haarslev, V
Format: Conference item
Published: CEUR−WS.org 2010