• SWRL

  • 48篇参考文献[SW1402]
  • 语言SWRL包括高级摘要 句法在两个喇叭状规则…本体包括在此写入的规则摘要 句法. 一个XML句法基于规则…
  • GF

  • 32篇参考文献[SW13667 ]
  • 框架(LF)用于描述摘要 句法并加上一个符号…用于线性化句法树和解析字符串。GF可以描述两种形式的…使用依赖类型摘要 句法表达语义条件,如良好的音阶…证明义务。多语言文法,其中一个摘要 句法有许多平行的混凝土句法
  • 超低频

  • 37篇参考文献[SW11183]
  • 源软件库。图书馆生成摘要 句法变分问题的树表示法…
  • CIL

  • 34篇参考文献[SW26691]
  • 工作水平低于摘要-句法但CIL也更高…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 依赖项分类摘要(弗兰克尔)对TPTP的术语句法. 我们描述这些扩展…标准TPTP句法利用分类的相对化和去匿名化摘要条款完整的MIZAR证明…在扩展TPTP中也编码句法,允许多个ATP实验。这包括…系统,通过记忆(如果必要的话)抽象化从证明上下文)一阶…
  • 白鲸

  • 23篇参考文献[SW01321]
  • 提倡使用高阶摘要 句法(HOAS)我们代表粘合剂…
  • 贝德维尔

  • 20篇参考文献[SW09460]
  • 二是高阶摘要 句法使用术语级的α-粘结剂直接支持…
  • 鳞片

  • 14篇参考文献[SW02477 ]
  • 允许测量仪器的前端摘要 句法树在一个非常高的水平与…
  • 霍罗米加

  • 9篇参考文献[SW0688]
  • 出版社(2002)]。这份文件介绍了摘要 句法和语义学的种类、类型…
  • 克梅塔

  • 8篇参考文献[SW10062]
  • 在Eclipse中运行,包括:摘要 句法静态语义(OCL)和动态语义与…
  • 西洋陆军棋

  • 74篇参考文献[SW01259]
  • 在规则中表达规则句法对象语言,动态重写…高水平的转换组件抽象化
  • 塔姆普

  • 6篇参考文献[SW03197]
  • 规则用于转换摘要 句法一个程序的树到标准形式…
  • 玫瑰

  • 4篇参考文献[SW0891]
  • 高水平建造摘要 句法树(AST),非常适合于来源…前端生产成摘要 句法树。一些程序分析和转换…
  • 萨贝克

  • 5篇参考文献[SW32 104]
  • 生成的框架包括直观的严格类型摘要 句法树木和树木散步者。SableCC也保持…
  • 蒙蒂科尔

  • 3篇参考文献[SW0752]
  • 可读混凝土句法可理解的摘要 句法由于这两种表示在它们的显著重叠…提高可用性摘要 句法我们添加了诸如关联和继承之类的概念…
  • CRSX

  • 4篇参考文献[SW26630]
  • 指定的缩减策略。-规则和术语句法基于lambda演算和项重写约定…直接解析为高阶摘要 句法以及允许…
  • NL认证

  • 4篇参考文献[ SW0886]
  • 复杂性。软件首先建立摘要 句法叶子的树…
  • 索斯利布

  • 4篇参考文献[SW29 331 ]
  • 包采用LIBSBML的AST(摘要 句法树表示公式表示构造ODE系统…