Syntax; Specifications; Axioms; Data base management systems;
机译:面向对象的概念建模语言中完整性约束的定义方法
机译:用任意字母定义一阶语言。术语,原子公式及其子术语的语法
机译:描述事件:由于场景的视觉和概念属性,眼动移动和语言生产的变化
机译:文本语言抽象和具体语法的综合定义
机译:走向深刻的语言理解:从定义学习概念知识的方法
机译:描述事件:由于场景的视觉和概念特性导致的眼动和语言产生的变化
机译:图3:“月球日历月”(LCM)的定义和LCM 4和LCM 5的最后季度月亮相(分别由黄色和橙色彩色)。
机译:TRIDENT高级语言语法定义