×

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

MNiBLoS(移动互联网操作系统)

引用于2份文件(2016年至2019年)
软件作者: 阿曼达·维达尔
相关软件: Fuzzydl;z3;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BUDI公司

1份文件引用(2009)
软件作者: 塞拉诺·格雷罗,杰苏斯;弗朗西斯科·罗梅罗。;Jose A.Olivas。;德拉马塔,哈维尔;安德烈斯·索托
相关软件: 引导;FisPro;概念网
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

主字段