雅加达 17篇文献引用(2001–2014) 软件作者: 丹妮拉·朱尼奥·德安德拉德(Daniela Junho de Andrade)、圣母玛利亚·德索萨(Simáo Melo de Sousa) 相关软件: Coq;OCaml;LETOS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)…
TLAPS(TLAPS) 14篇文献引用(1999年-2023年) 软件作者: 拉波特 相关软件: 薄层色谱;常春藤;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
肉汁 1份文件引用(2020) 软件作者: Arlt,S.、Rubio-González,C.、Rümmer,P.、Schäf,M.、Shankar,N。 相关软件: Rust2Viper;蝰蛇;SMACK… 主要字段: 计算机科学(68-XX)