弗朗索瓦州施瓦岑特鲁伯 根据区域连接演算规范绘制交互式欧拉图。 (英语) Zbl 1362.68275号 J.逻辑语言信息。 24,第4期,375-408(2015).MSC公司:68立方英尺 65年第68季度 68T20型 68T27型 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarzentruber},J.Logic Lang.Inf.24,No.4,375--408(2015;Zbl 1362.68275) 全文: 内政部 哈尔
弗朗索瓦州施瓦岑特鲁伯;郝金高 通过局部搜索从区域连接演算规范中绘制欧拉图。 (英语) Zbl 1362.68276号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11557-3/pbk)。计算机科学课程讲稿8761。人工智能课堂讲稿,582-590(2014)。MSC公司:68立方英尺 68T20型 68T27型 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarzentrouber}和\textit{J.-K.Hao},Lect。注释计算。科学。8761582--590(2014年;Zbl 1362.68276) 全文: 内政部