×

找到9个软件包(结果1-9)

卡奈德(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份文件引用(2017)
软件作者: 约格·普勒
相关软件: 哈维;无人力资源;Catnap…
主要字段: 总体主题;藏品(00-XX);计算机科学(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)

深度A2

在0个文档中引用
软件作者: 格雷戈·贝茨(Gregor Betz)、凯尔·理查森(Kyle Richardson)
相关软件: 变压器;校对员;multiPOver…
主要字段: ——

LamatzSolver公司

1份文件引用(2017)
软件作者: 北拉马茨
相关软件: MiniSat;糠;葡萄糖…
主要字段: 计算机科学(68-XX)

筛选结果依据…