×

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

HOL公司

603文件引用(1985–2024)
软件作者: 迈克尔·J·C·戈登。
相关软件: 伊莎贝尔;Isabelle/HOL;ML…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

酯类

144篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

EVC公司

8份文件引用(2001–2012)
软件作者: 米罗斯拉夫·韦列夫(Miroslav N.Velev)。;Randal E.布莱恩特。
相关软件: Velev SAT基准;糠;BerkMin…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…

筛选结果依据…