弹丸 71篇文献引用(2006–2023) 软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司 相关软件: FaCT++;赛车手;赫密特… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
扣 9份文件引用(2012–2021) 软件作者: 马丁·格布瑟(Martin Gebser);罗兰·卡明斯基(Roland Kaminski);穆拉特·奈赫特(Murat Knecht);托尔斯滕·绍布 相关软件: PDDL;克林戈;ROSoClingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
InKreSAT公司 9份文件引用(2013–2022) 软件作者: 马克·卡明斯基(Mark Kaminski);托比亚斯·特比 相关软件: 斯巴达克斯;FaCT++;BDD标签… 主要字段: (68T15-XX);(03B45-XX)
RDFox公司 4份文件引用(2020–2023) 软件作者: Nenov,Y.、Piro,R.、Motik,B.、Horrocks,I.、Wu,Z.、Banerjee,J。 相关软件: LUBM;流浪汉;DBpedia… 主要字段: –
增量CCS 4份文件引用(2015–2020) 软件作者: 洛肖,马尔特;Stephan Mennicke;Hauke Baller;拉尔斯·里贝克 相关软件: VMC;自旋蛋白;莫德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
沃罗巴克-D 4份文件引用(2021–2022) 软件作者: Ryu,J.,Lee,M.,Kim,D.,Kallrath,J.、Sugihara,K.、Kim,D.S 相关软件: MinPerim公司;CGAL;KnotPlot… 主要字段: 流形和细胞复合体(57-XX);数值分析(65-XX);运筹学、数学规划(90-XX)
IMLI公司 3份文件引用(2021–2022) 软件作者: Bishwamittra Ghosh,Kuldeep S.Meel 相关软件: MLIC;UCI毫升;形状… 主要字段: 统计学(62-XX);计算机科学(68-XX)