×

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

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

paramGeo3D

3份文件引用(2014–2017)
软件作者: 弗朗西斯科·博塔纳
相关软件: GeoGebra;GEX;Calques 3D…
主要字段: 计算机科学(68-XX)

筛选结果依据…