• Isar

  • 引用138篇文章[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 序言

  • 引用68篇文章[sw06518]
  • GNU Prolog是一个免费的Prolog编译器。。。
  • 玩具

  • 引用了55篇文章[sw09812]
  • 玩具:一个多传统的声明系统。玩具是。。。
  • 古怪的

  • 参考6篇文章[sw09889]
  • XCentric公司:逻辑 编程用于XML处理。在这里我们。。。
  • XPath

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