Mark for the Extension of a Constrained Default Theory

 
  • 对基于约束条件的缺省逻辑扩充的注记
今日热词
目录 附录 查词历史