阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
夸蒂 4份文件引用(2014年-2023年) 软件作者: Vivek Nigam;Reis,Giselle;莱昂纳多·利马 相关软件: 混合的;github;红杉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
雅拉 引用于2份文件(2018–2021) 软件作者: 奥利维·洛朗 相关软件: ANTLR;PySpark;ConArg2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)