Domain-Specific Metamodeling Language (DSMML); XMML; attachment; consistency; structural semantics;
机译:基于一阶逻辑的形式化领域特定元建模语言XMML
机译:基于一阶逻辑的形式化领域专用元建模语言XMML
机译:基于一阶逻辑的域特定元形态语言XMML的正式表示
机译:信念,名称和表示方式:一阶逻辑形式化。
机译:基于领域特定语言翻译的计算机辅助临床试验招聘:以早产儿视网膜病变为例
机译:基于一阶逻辑的领域特定元建模语言XMML的形式化表示
机译:语言与逻辑:话语形式化研究