×

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

引文 按字母顺序

SaDiCaL公司

7份文件引用(2019–2023)
软件作者： Marijn J.H.Heule、Benjamin Kiesl、Armin Biere
相关软件： CaDiCaL；DRAT-饰件；MiniSat…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

叠加微积分

4份文件引用(2018–2020)
软件作者： 尼古拉斯·佩尔蒂埃
相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

提案解决方案

1份文件引用(2018)
软件作者： 尼古拉斯·佩尔蒂埃
相关软件： GitHub；格栅；FOL_Harrison…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

索菲亚

1份文件引用(2005)
软件作者： 格格利·科瓦什奈
相关软件： –
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段