×

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

崔弟

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)

筛选结果依据…