Databases; Aggregates; Data models; Cognition; Connectors; Sociology; Statistics;
机译:可识别个人数据的长期保存:欧盟,澳大利亚,加拿大和美国对隐私监管模型的比较存档观点
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:基于一阶逻辑的软件性能反模式建模与检测方法
机译:使用一阶逻辑建模个人可识别信息
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:在多分类一阶逻辑中寻找有限模型
机译:一阶谓词逻辑模型理论及相关时态逻辑