崔弟 14篇文献引用(2016年-2023年) 软件作者: 蒂姆,M。 相关软件: 二精氨酸;拉尔斯;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
SMProbLog(SMProb日志) 引用于2份文件(2022) 软件作者: Pietro Totis、Angelika Kimmig、Luc De Raedt 相关软件: 克林戈;ProbLog;DeepProbLog… 主要字段: 计算机科学(68-XX)
角砾岩 1份文件引用(2020) 软件作者: Sacharny,D。;亨德森,T。;西蒙斯,R。;Mitiche,A。;Welker,T。;X·范。 相关软件: GenPSAT;博客 主要字段: 计算机科学(68-XX)