×

找到15个文档(结果1-15)

描述逻辑中的近似:加权树自动机如何帮助定义\(\mathcal)中所需的概念比较度量{FL}_0\). (英语) Zbl 1485.68245号

Drewes,Frank(编辑)等人,《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10168, 3-26 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

接触逻辑中的可接纳性和统一性。 (英语) 兹伯利1326.03034

Aher,Martin(编辑)等人,《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会,2013年TbiLLC,格鲁吉亚古达乌里,2013年9月23日至27日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-662-46905-7/pbk;978-3-662-46906-4/ebook)。计算机科学课堂讲稿8984,44-60(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

古达乌里州受理规则指南。 (英语) Zbl 1326.03002号

Aher,Martin(编辑)等人,《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会,2013年TbiLLC,格鲁吉亚古达乌里,2013年9月23日至27日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-662-46905-7/pbk;978-3-662-46906-4/ebook)。计算机科学课堂讲稿8984,10-17(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述逻辑(\mathcal{EL})中没有顶层概念的统一。 (英语) Zbl 1341.68205号

Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,70-84(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

S4中检查规则可接受性的表方法。 (英语) Zbl 1345.03033号

Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》26217-32(2010)。
MSC公司:03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述逻辑中的统一(\mathcal{EL})。 (英语) Zbl 1242.68300号

Treinen,Ralf(编辑),重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02347-7/pbk)。计算机科学课堂讲稿5595,350-364(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份