复旦大学  
更多 

论文成果

亲属关系的逻辑意义及其自动推理

发布时间:2021-12-09点击次数:
  • 发表刊物: 计算机工程与应用
  • 论文编号: SY161832
  • 卷号: 45
  • 期号: 16
  • 页面范围: 43-47
  • 是否译文:
  • 发表时间: 2009-01-01