×

找到23个文档(结果1–23)

描述逻辑中复杂角色包含公理的扩展(mathcal{SROIQ})。 (英语) Zbl 1291.68382号

Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,472-486(2010)。
MSC公司:68T27型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式文法类。 (英语。俄文原件) Zbl 0381.68061号

J.索夫。数学。 6, 189-209 (1976); 翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。特奥。维罗亚特恩。,材料统计,温度。Kibern。12, 155-187 (1975).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件