Digital rights expression model based on first-order dynamic logic

 
  • 一种采用一阶动态逻辑表示的数字权限描述模型
今日热词
目录 附录 查词历史