• 斯佩克特

  • 引用3篇文章[sw01114]
  • 它们在程序中的应用验证 系统 斯佩克特. 知识库的概念。。。面向问题的方法验证. 知识库由公理组成。。。给出了编译程序。这个验证 系统 斯佩克特描述了,在这里正确的证据。。。