机译:将“自然”分类和系统化形式化为预测的固定点
机译:分类模式的形式化:信息系统工程中的分类建模调查
机译:对事件报告和不良事件分析领域中分类任务的自然语言处理的系统回顾
机译:中欧的橡树林森林:正式的分类和卵形常规修订
机译:使用时间逻辑系统映射UML语义的形式化
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:分类模式的形式化:信息系统工程中的分类建模调查
机译:Giulio Tononi1对《自然》分类,《自然》概念和意识进行统一形式化的统一信息
机译:生态系统的数字化系统分类 - 以北美自然植被为例