KIV公司 51篇文献引用(1988年至2022年) 软件作者: M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件: Z;PVS;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;KIV;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)