×

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

配套元件

6篇文献引用(1993–2017)
软件作者: W.R.贝维尔
相关软件: veriSoft;Isabelle/HOL;NQTHM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

STICK(斗杆)

引用于2份文件(2015–2018)
软件作者: 哈维尔·拉各尔;莱亚德·本诺曼
相关软件: 蜘蛛侠
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

筛选结果依据…