×

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

基于变量的方程反统一。 (英语) Zbl 1522.68251号

Alicia Villanueva(编辑),基于逻辑的程序合成和转换。第32届国际研讨会,LOPSTR 2022,格鲁吉亚第比利斯,2022年9月21日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13474, 44-60 (2022).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶推广的通用框架。 (英语) Zbl 1528.68156号

Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第10条,第19页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶方程模式反统一。 (英语) Zbl 1462.68092号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第12条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用

术语图反统一。 (英语) Zbl 1462.68091号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第9条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ACUOS:具有子类型和继承的模块化ACU泛化系统。 (英语) Zbl 1432.68422号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 573-581 (2014).
MSC公司:68T27型 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

反统一算法库。 (英语) Zbl 1432.68426号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761, 543-557 (2014).
MSC公司:68T27型 68伏35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段