×

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

SymDiff公司

引用于20份文件(2012–2023)
软件作者: Lahiri,S.、Hawblitzel,C.、Kawaguchi,M.、Rebelo,H。
相关软件: z3;布吉;CBMC…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

西格玛*

13份文件引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

MBESS公司

3份文件引用(2012–2021)
软件作者: 肯·凯利
相关软件: R;MOTE;效应大小…
主要字段: 统计学(62-XX)

B审计

2份文件引用(2002–2004)
软件作者: 何塞·梅塞盖尔;格里高·罗什乌
相关软件: 莫德;OBJ咖啡馆;OBJ3型
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…