×

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

DAML+油

34份文件引用(2002–2009)
软件作者: 伊恩·霍洛克斯
相关软件: WordNet;swrl;三重…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

ClaiMaker公司

5份文件引用(2002–2007)
软件作者: 李刚敏;维多利亚州乌伦;恩里科·莫塔;西蒙白金汉舒姆;约翰·多明戈
相关软件: 奥斯卡;二甲基丙烯酸甲酯
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

WebODE(网络代码)

4份文件引用(2002年至2008年)
软件作者: 科尔乔,奥斯卡尔;Fernández-López,玛丽亚诺作者简介;戈梅斯·佩雷斯,亚松森;奥斯卡·文森特
相关软件: 蛋白质;OntoEdit;OilEd…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

KnowledgeSeeker(知识搜索者)

2份文件引用(1996–2011)
软件作者: Edward H.Y.Lim。;Liu,James N.K。;Lee,Raymond S.T。
相关软件: Swoogle标志
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

国际博协

2份文件引用(2001–2020)
软件作者: 巴勃罗·菲洛特拉尼(Pablo R.Fillottrani);恩里科·弗兰科尼;塞尔吉奥·特萨利斯
相关软件: KL-ONE;故障电流互感器++
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

NeuroGaz公司

在0个文档中引用
软件作者: 马克·勒戈克(Marc Le Goc);米歇尔·盖塔
相关软件: 通用KADS
主要字段:

矿石

1份文件引用(2018)
软件作者: Lehmann,J.和Bühmann,L。
相关软件: 俯冲;颗粒;MERGEXPLAIN…
主要字段: 计算机科学(68-XX)

罗穆卢斯

在0个文档中引用
软件作者: 祖贝达·卡斯莫德·汗;C.玛丽亚·基特
相关软件:
主要字段:

筛选结果依据…