弗朗索瓦·布里 赞扬不可靠:对元编程形式化的贡献。 (英语) Zbl 1434.68102号 理论与实践。日志。程序。 20,第1期,99-146(2020年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bry},理论与实践。日志。程序。20,第1号,99--146(2020;Zbl 1434.68102) 全文: 内政部 arXiv公司
弗兰蒂舍克·法尔卡;叶卡捷琳娜·科门丹茨基;凯文·哈蒙德 依赖类型推理和术语合成的相关证明Horn子句。 (英语) Zbl 1451.68323号 理论与实践。日志。程序。 18,编号3-4,484-501(2018).MSC公司:68伏15 03B35型 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka}等人,《理论与实践》。日志。程序。18、编号3--4、484--501(2018;Zbl 1451.68323) 全文: 内政部 arXiv公司
莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat,Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;拉蒙,简;马克·德内克;四川省韦尔市 谓词逻辑作为建模语言:使用IDP3建模和解决一些机器学习和数据挖掘问题。 (英语) 兹比尔1379.68279 理论与实践。日志。程序。 15,第6期,783-817(2015).MSC公司:68T20型 68N17号 68T05型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人,《理论与实践》。日志。程序。15,第6号,783--817(2015;Zbl 1379.68279) 全文: 内政部 arXiv公司