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

Bibliografiset tiedot
Muut tekijät: Haarslev, V
Aineistotyyppi: Conference item
Julkaistu: CEUR−WS.org 2010