A Multi-Action Commitments Approach Based on Dynamic Logic

 
  • 基于动态逻辑的多动作承诺机制
今日热词
目录 附录 查词历史