伊莎贝尔/HOL 1068年文献引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
平面图 9份文件引用(1997–2005) 软件作者: 迈克尔·希克斯;潘卡杰·卡卡尔;乔纳森·摩尔(Jonathan T.Moore)。;卡尔·A·冈特。;斯科特·奈特尔斯 相关软件: OCaml;番石榴;AtomCaml… 主要字段: 计算机科学(68-XX)