×

故障电流互感器++

swMATH ID: 9836
软件作者: 德米特里·察尔科夫;伊恩·霍洛克斯
描述: FaCT++是著名的FaCT OWL-DL推理器的新一代。FaCT++使用已建立的FaCT算法,但具有不同的内部架构。此外,FaCT++是使用C++实现的,以创建更高效的软件工具,并最大限度地提高可移植性。还引入了新的优化功能,并添加了一些新功能。
主页: http://owl.man.ac.uk/factplusplus网址/
相关软件: 弹丸;赛车手;HermiT公司;KL-ONE公司;SPARQL公司;康clude;旋转(swrl);斯巴达克斯;CEL公司;ELK公司;RacerPro赛车;InKreSAT公司;蛋白质;耶拿;HTab公司;LUBM公司;BDD标签;github;E定理证明器;TPTP公司
引用于: 66文件
全部的 前5名

133位作者引用

10 伊恩·霍洛克斯
5 格利姆,伯尔特
5 鲍里斯·莫提克
5 乌尔里克·萨特勒
4 弗兰兹·巴德
4 伯纳多·昆卡·格劳
4 叶夫根尼·哈萨克夫
迭戈·卡尔瓦内斯
克莱尔·狄克逊
乌尔里希·赫斯塔特
姜云成
克劳迪娅·纳隆
王菊
2 博雷戈·迪亚斯(Borrego-Díaz,Joaquín)
2 戈雷,拉吉夫·普拉巴卡尔
2 沃尔克·哈尔斯列夫
2 马克·卡明斯基
2 卡斯滕·卢茨
2 Martín-Mateos,Francisco-Jesüs
2 尼古拉斯·马滕佐格鲁
2 比扬·帕西娅
2 德克·帕丁森
2 何塞·路易斯·鲁伊斯·雷纳
2 罗伯托·塞巴斯蒂安
2 巴尔·塞尔特卡亚
2 弗朗蒂舍克·西蒙切克
2 安德烈亚斯·斯特格米勒
2 唐素琴
1 阿方索、恩里克·马托斯
1 阿隆索-吉梅内斯,何塞·安东尼奥
1 阿隆索、何塞·安东尼奥
1 卡洛斯·阿雷塞斯
1 埃琳娜·贝洛迪
1 达尼埃拉·贝拉迪
1 尼古拉·S·比约纳。
1 亚历山大·博洛托夫
1 阿古斯丁·布切拉
1 乔治·卡林
1 坎通纳,多梅尼科
1 亚历杭德拉·切奇
1 阿提里奥·科拉格罗西
1 朱塞佩·科塔
1 大卫·特纳·库卡拉
1 朱塞佩·德贾科莫
1 莱昂纳多·德·莫拉
1 蒂娜·德尔阿米
1 邓佩敏
1 马龙·杜马
1 托马斯·艾特
1 乌尔·恩德里斯
1 凯瑟琳·法伦·祖克
1 迈克尔·费希尔
1 弗雷德·弗雷塔斯
1 洛伦佐·加卢奇
1 法比安·甘顿
1 高金凤
1 多梅尼科·根达米
1 恩里科Giunchilia
1 福斯托·金奇利亚
1 拉斐尔·冈萨尔维斯。
1 乔瓦尼·格拉索
1 斯文·格罗佩
1 克里斯蒂安·哈拉斯切克·维纳
1 Hidalgo-Doblado,M.J。
1 玛丽亚·何塞·伊达尔戈
1 肖恩·霍尔顿。
1 穆罕默德·科达达迪
1 席蒙·克拉曼
1 克诺尔,马蒂亚斯
1 鲍里斯·科涅夫
1 丹尼尔·科宁
1 马库斯·科洛奇
1 希勒尔·库格勒
1 拉尔夫·库斯特斯
1 伊芙琳娜·拉姆
1 菲利波·拉努比莱
1 尼古拉·利昂
1 托尔斯滕·利比希
1 托马斯·卢卡西维奇
1 法布里奇奥·玛丽亚·马吉
1 柴塔尼亚·曼格拉
1 亚当·迈斯纳
1 拉尔夫·莫利托
1 马可·蒙塔利
1 罗伯特·S·R·迈尔斯。
1 玛丽安娜·尼科洛西·阿斯蒙多
1 纳德斯赫达·尼基蒂娜
1 伊泽基尔·奥贝
1 马格达莱娜·奥尔蒂斯
1 彼得·施奈德(Peter F.Patel-Schneider)。
1 劳伦斯·查尔斯·保尔森
1 弗朗西斯科·里卡
1 法布里西奥·里古齐
1 帕特里克·罗德勒
1 塞巴斯蒂安·鲁道夫
1 丹尼尔·弗朗西斯科·桑塔马利亚
1 乌利·萨特勒
1 罗马辛德劳
1 斯特凡·施洛巴赫
1 雷娜特·施密特(Renate A.Schmidt)。
…还有33位作者

按年份列出的引文