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)