卡奈德(Carneades) 引用于9份文件(2007–2021) 软件作者: 汤姆·戈登;沃尔顿 相关软件: 钻石;MiniSat;箔条… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
钻石 引用于9份文件(2015–2021) 软件作者: Ellmauthaler,S。;斯特拉斯,H。 相关软件: 卡奈德;GRAPPA;迷你卫星… 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
格拉帕 8份文件引用(2014年至2022年) 软件作者: 格哈德·布鲁卡(Gerhard Brewka);斯特凡·沃尔特兰 相关软件: Lpopt;钻石;Clingo… 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
ArgQL公司 1份文件引用(2017) 软件作者: Zografistou,Dimitra;弗洛里斯(Flouris),乔戈斯(Giorgos);普列克索萨基斯,迪米特里斯 相关软件: openCypher;SPARQL公司 主要字段: 计算机科学(68-XX)
角砾岩 1份文件引用(2020) 软件作者: Sacharny,D。;亨德森,T。;西蒙斯,R。;Mitiche,A。;Welker,T。;X·范。 相关软件: GenPSAT;博客 主要字段: 计算机科学(68-XX)
CEGARTIX公司 1份文件引用(2017) 软件作者: 德沃夏克,W。;Järvisalo,M。;Wallner,J.P。;南卡罗来纳州沃尔特兰 相关软件: MiniSat;糠;葡萄糖… 主要字段: 计算机科学(68-XX)