A Procedural Semantics for Disjunctive Closed World Assumption

 
  • 析取封闭世界假设的一种过程语义
今日热词
目录 附录 查词历史