位置：成果数据库 > 会议 > 会议详情页
国际,口头,Feng Su,Xiong Feng,WEAKLY GROUND TERMINATION OF MUTUALLY RECURSIVE TRSs
  • 所属机构名称：北京师范大学
  • 会议名称：Proceedings of the Tenth Joint International Computer Conference
  • 语言：英文
  • 成果类型：会议
  • 相关项目：项重写系统等价性的形式自动证明
作者： 冯速|
同会议论文项目
项重写系统等价性的形式自动证明
期刊论文 13 会议论文 3 著作 10
同项目会议论文
Xin Jin, Anbang Xu, Rongfang Bie, and Ping Guo,
国内,口头,冯速,计算机专业教学中课程软件的运用