MNiBLoS(移动互联网操作系统) 引用于2份文件(2016年至2019年) 软件作者: 阿曼达·维达尔 相关软件: Fuzzydl;z3;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
BUDI公司 1份文件引用(2009) 软件作者: 塞拉诺·格雷罗,杰苏斯;弗朗西斯科·罗梅罗。;Jose A.Olivas。;德拉马塔,哈维尔;安德烈斯·索托 相关软件: 引导;FisPro;概念网 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)