×

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

幻灯片

27篇文献引用(2013年-2023年)
软件作者: Iosif,R.,Rogalewicz,A.,Vojnar,T。
相关软件: HIP;推断;小脚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CoqMT公司

7份文件引用(2010–2020)
软件作者: Pierre-Yves支柱
相关软件: Coq;辅酶MTU;dedukti…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);代数几何(14-XX)…

预DeLo

2份文件引用(2015)
软件作者: 佐丹诺,L.,格利奥齐,V.,贾拉尔,A.,奥利维蒂,N.和波扎托,G.L
相关软件: DysToPic;精益TAP
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PSOA2TPTP公司

在0个文档中引用
软件作者: 邹,Gen;彼得·保罗,鲁本;哈罗德·博利;亚历山大·里亚扎诺夫
相关软件:
主要字段:

筛选结果依据…