×

找到3个软件包(结果1-3)

阿贝拉

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)

筛选结果依据…