SETHEO公司 118篇文献引用(1990–2022) 软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
阿斯毫升 引用于45份文件(2001–2023) 软件作者: 微软研究院;格里斯坎普,W。;古雷维奇·Y。 相关软件: 毫升;SpecExplorer;科拉特… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PLT兑换 25篇文献引用(2009–2022) 软件作者: 费莱森,马提亚斯;布鲁斯·芬德勒;马修·弗拉特 相关软件: Coq;K校准仪;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
核心ASM 13份文件引用(2007–2021) 软件作者: Farahbod,Roozbeh;文森佐·格瓦西;乌韦·格拉塞尔(Glässer,Uwe);妈妈,乔治 相关软件: 法尔科;罗丹;GitHub… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SMV公司 13份文件引用(1986–2018) 软件作者: Ed Clarke;K.L.McMillan;E.A.艾默生;J.R.伯奇 相关软件: 高科技;PHAVer;旋转… 主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…
MPINE公司 7份文件引用(2001–2015) 软件作者: 豪尔赫·索萨·平托 相关软件: PELCR;PORGY公司;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASMKeY公司 6篇文献引用(2004–2012) 软件作者: 南城,斯坦尼斯拉斯;Robert F.Stärk。 相关软件: 凯伊;ANTLR;Why3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AsmetaSMV公司 引用于2份文件(2016年至2021年) 软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。 相关软件: 昏迷;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
昏迷 引用于2份文件(2016年至2021年) 软件作者: P Arcaini、A Gargantini、E Riccobene 相关软件: AsmetaSMV;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
加纳 4份文件引用(2001–2002) 软件作者: 斯蒂芬·迪尔;哥尔格,卡斯滕;安德烈亚斯·凯伦(Andreas Kerren);莱因哈德·威廉 相关软件: 探戈;内华达州;GaniFA… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
羚羊 引用于2份文件(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 卡利班;克里奥;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
ASMETA公司 引用于2份文件(2011–2021) 软件作者: 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提 相关软件: AsmetaSMV;昏迷;NuSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
卡利班 引用于2份文件(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 阿里埃尔;克里奥;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
克里奥 引用于2份文件(1991) 软件作者: 詹姆斯·莫里斯。;马克·霍华德 相关软件: 卡利班;阿里埃尔;米兰达 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
乳酪 1份文件引用(2020) 软件作者: Nakano,M.、Ogata,K.、Nakamura,M.和Futatsugi,K。 相关软件: OBJ咖啡馆;SPASS;CiMPG… 主要字段: 计算机科学(68-XX)
元模型Isabelle 1份文件引用(2016) 软件作者: Tuong神父;伯克哈特·沃尔夫 相关软件: Coq;Isabelle/HOL;密度编译器… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
MPL1700标准 1份文件引用(1977) 软件作者: 理查德·费希尔(Richard N.Fisher)。;戈登·麦夸里(Gordon W.McQuarrie)。;巴勒斯 相关软件: IBM BAL 主要字段: 计算机科学(68-XX)
Vcsn公司 1份文件引用(2016) 软件作者: https://www.lrde.epita.fr/wiki/Vcsn/People(网址:https://www) 相关软件: 金融服务管理局;ASTL;SFST… 主要字段: 计算机科学(68-XX)