机译:形式概念分析的验证
Dpto. de Ciencias de la Computacion e Inteligencia Artificial E.T.S. de Ingenieria Informatica Universidad de Sevilla Avd. Reina Mercedes, s 41012 Sevilla Spain;
formalized mathematics; formal concept analysis; formal methods; PVS; higher order logic;
机译:在正式方法验证数据库概念,以施工修正
机译:粗糙集概念分析:基于形式概念分析中的思想解释可定义RS的概念
机译:基于模糊工作流仿真概念的城市交通系统形式验证
机译:用模拟和形式验证分析空中交通管理运行概念
机译:高维可达性分析:应对形式验证中的维数诅咒
机译:与智能辅导系统的正式概念分析学习推荐
机译:使用形式概念分析来验证概念域模型中的过程数据矩阵
机译:众包形式验证:面向以人为本的商业模式的商业案例分析。