• 验证9

  • 在174篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。
  • XPath

  • 参考文献368篇[sw15780]
  • XPath2.0是一种表达式语言,它允许。。。