メトリック
1 レコードビュー
- タイトル
- The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC
- 作成者 – 役職なし
- Ken KANEIWA
- 出版物に関する詳細
- Knowledge-Based Systems, Vol.286, p.Article 111405
- ID
- 991002548774307421
- 組織
- The University of Electro-Communications
- 言語
- 英語
- 資料タイプ
- ジャーナル論文
- リソースのサブタイプ
- rm_published_papers: Scientific Journal