×

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

LIRA公司

引用于7份文件(2008–2021)
软件作者: Becker,B.、Dax,C.、Eisinger,J.、Klaedtke,F。
相关软件: 睫毛;cvc3;TaPAS…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

终结者

4份文件引用(2013–2022)
软件作者: 徐明;李志斌
相关软件: LoAT;停机坪;GitHub…
主要字段: 数学逻辑与基础(03-XX);群论和概括(20-XX);动力系统和遍历理论(37-XX)…

筛选结果依据…