• 欧米茄

  • 3篇参考文献[SW19624]
  • 普拉特Ω:介于两者之间的中介体文本-编辑以及证明辅助系统。我们提出了一个通用的调解器…称为PLATΩ,介于文本-编辑和证明助理。PLATΩ旨在集成支持…具有科学所见即所得的数学文献文本-编辑在非正式用语中他被使用…
  • OMDOC

  • 84篇参考文献[SW07138]
  • OMDOC:走向行政管理的互联网标准…
  • GF

  • 32篇参考文献[SW13667 ]
  • 语法框架。一种类型的理论语法形式主义。语法的…
  • XPath

  • 365篇参考文献[SW15780]
  • XPath 2是一种允许…的表达式语言。
  • 路易

  • 10篇参考文献[SW19627 ]
  • LΩUI:可爱的Ω巨型用户界面。…的能力