...
机译:理论和高阶语言的语义视图
Univ Salzburg Dept Philosophy Franziskanergasse 1 A-5020 Salzburg Austria;
Structure of scientific theories; Semantic view of theories; Syntactic view of theories; Higher-order logic; Set-theoretic structures; Bourbaki; Equivalence of theories;
机译:理论和高阶语言的语义视图
机译:平面说明性语言的高阶属性语义
机译:平面说明性语言的高阶属性语义
机译:高阶模糊逻辑及其分类语义:通过副结构三斯理论的高阶线性完整性和BAAZ翻译
机译:理论的语义视图:语言和表示。
机译:双语能力对自由召回输出中的召回准确性和语义聚类的影响:跨语言共享语义关联的证据
机译:理论和高阶语言的语义观
机译:数据模型和数据操作语言:互补语义和证明理论