×

找到4个软件包（结果1-4）

引文 按字母顺序

Gmeta公司

4份文件引用(2012–2020)
软件作者： Lee，Gyesik；布鲁诺·C.D.S.奥利维拉。；Cho，Sungkeun；Yi，Kwangkeun先生
相关软件： LNgen；流行标志；Psi-calculi…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

元理论.jl

1份文件引用(2022)
软件作者： 亚历山德罗·切利
相关软件： MatchCore.jl；MLStyle.jl；鸡蛋…
主要字段： 计算机科学（68-XX）

金属布

1份文件引用(2021)
软件作者： 宾夕法尼亚PL俱乐部；PLClub俱乐部
相关软件： GitHub；存档正式证据；名义上的伊莎贝尔…
主要字段： 计算机科学（68-XX）

重建器

1份文件引用(2020)
软件作者： 阿里尔·乔纳森·罗菲
相关软件： PLM；伊莎贝尔/HOL
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段