崔弟 14篇文献引用(2016–2023) 软件作者: 蒂姆,M。 相关软件: DiArg;LARS;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
康德莱恩 9份文件引用(2003–2023) 软件作者: 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 相关软件: KLMLean公司;精益TAP;NESCOND… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
NESCOND公司 7份文件引用(2014年-2023年) 软件作者: 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 相关软件: 康德莱恩;月球;KLMLean… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
tuCLEVER公司 引用于2份文件(2022–2023) 软件作者: 玛丽安娜·吉兰多;莱尔曼,比约恩;尼古拉·奥利维蒂;佩西、斯特凡诺;吉安·卢卡(Gian Luca),披萨 相关软件: 月球;Metis_;佩斯卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
文特 引用于2份文件(2017–2021) 软件作者: 玛丽安娜·吉兰多;莱尔曼,比约恩;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca);维塔利斯,昆廷 相关软件: 纳秒;康德莱恩;KLMLean… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)