Data bases; Models; Object-oriented programming; Syntax; Axioms; Taxonomy;
机译:四价模态逻辑的抽象代数逻辑方法
机译:命题动态逻辑和模态逻辑的组合
机译:血液动力学的解剖病理生理学方法:无创和有创诊断模式的互补作用。
机译:角色和动态子类:模态逻辑方法
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:最大直径标准过时生物力学(压力)指标的明显作用血流动力学(流量)指标的新作用以及腹主动脉瘤破裂风险评估的多模态方法
机译:认识社交网络动态的动态术语 - 模态逻辑