×

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

KAT-ML公司

10篇文献引用(2006–2016)
软件作者: Aboul-Hosn,K.,Kozen,D
相关软件: 伊莎贝尔·霍尔;Coq;酯类…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ILLTP公司

3份文件引用(2019–2021)
软件作者: 卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔(Elaine Pimentel);吉赛尔·赖斯
相关软件: 洛利;z3;DeepProbLog…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

主字段