摊销复杂性 8份文件引用(2015–2021) 软件作者: 托比亚斯·尼普科 相关软件: Isabelle/HOL;存档正式证据;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
TiML公司 8份文件引用(2018–2022) 软件作者: Wang,P.,Wang,D.,Chlipala,A。 相关软件: TcT;z3;分离逻辑… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)