×

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

甘道夫

35篇文献引用(1996-2018)
软件作者: 塔内尔·塔米特
相关软件: TPTP;Isabelle/HOL;Coq…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

三倍的

16篇文献引用(2002–2015)
软件作者: Michael Sintek;斯特凡·戴克
相关软件: SPARQL;平滑;XSB…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…

DL-学习者

9份文件引用(2009年至2022年)
软件作者: 莱曼
相关软件: 箔;ElemStatLearn;贝叶斯OWL…
主要字段: 计算机科学(68-XX)

DLog(数据日志)

8份文件引用(2008–2020)
软件作者: 格格利·卢卡西(Gergely Lukácsy);佩特尔·塞雷迪
相关软件: 精益TAP;颗粒;接通DLV…
主要字段: 计算机科学(68-XX)

N3逻辑

7份文件引用(2008–2017)
软件作者: 伯纳斯-李、蒂姆;Dan Connolly;拉拉纳·卡加尔;尤西·沙夫;吉姆·亨德勒
相关软件: 平滑;MWeb;SPARQL…
主要字段: 计算机科学(68-XX)

DR-预测

4份文件引用(2018–2019)
软件作者: 安东尼斯·比卡基斯;君士坦丁诺·帕帕西奥多罗;格里戈里斯·安东尼奥
相关软件: DELORES公司;吐温;法律规则ML…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

CDAO商店

4份文件引用(2011–2022)
软件作者: Brandon Chisham;恩里科·蓬泰利(Enrico Pontelli);儿子Tran Cao;本·赖特
相关软件: aspeed;LPaaS;GHC…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

框架网

5份文件引用(2004–2010)
软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);阿尔乔沙·伯查特
相关软件: ——
主要字段: 计算机科学(68-XX)

验证日志

4份文件引用(2008–2018)
软件作者: 乔治·科埃略(Jorge Coelho),马里奥·弗洛里多(Mário Florido)
相关软件: CLP(柔性);定理;数学…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

DAML杰斯克

2份文件引用(2006)
软件作者: 约瑟夫·科佩纳(Joseph Kopena);威廉·雷格利
相关软件: 杰斯;蛋白质;帕拉丁RM
主要字段: 计算机科学(68-XX)

DRAGO公司

2份文件引用(2009–2014)
软件作者: L.Serafini和A.Tamilin
相关软件: 赛车手;FaCT++;颗粒…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

真实

2份文件引用(2016–2019)
软件作者: 安吉洛普洛斯,尼科斯;阿卜杜拉,萨梅尔;乔治奥斯·贾马斯
相关软件: 字符串;原苏铁岩;SWI-预测…
主要字段: 统计学(62-XX);计算机科学(68-XX)

dlvhex-sparql

1份文件引用(2013)
软件作者: Polleres,A.、Schindlauer,R。
相关软件: R2RML;乌龟;nSPARQL…
主要字段: 计算机科学(68-XX)

EvoOnt公司

在0个文档中引用
软件作者: 克里斯托夫·基弗、亚伯拉罕·伯恩斯坦、乔纳斯·塔波莱特
相关软件: 序列;iSPARQL;GitHub…
主要字段: ——

GaX搜索

1份文件引用(2005)
软件作者: 斯里尼瓦萨,K.G。;沙拉,S。;K.R.Venugopal。;Lalit M.帕特奈克。
相关软件: X搜索
主要字段: 计算机科学(68-XX)

KRHper公司

1份文件引用(2005)
软件作者: 亚历克斯·辛纳(Alex Sinner);托马斯·克莱曼
相关软件: TPTP;蛋白质;赛车手
主要字段: 计算机科学(68-XX)

Ontograte公司

1份文件引用(2010)
软件作者: 窦德静;秦汉;帕埃阿,勒彭杜
相关软件: MAFRA;WordNet(文字网)
主要字段: 计算机科学(68-XX)

沙克尔

1份文件引用(2022)
软件作者: 博加特,巴特;马克西姆·雅库博夫斯基;Van den Bussche,简
相关软件: ——
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件