会议专题

2001年全国理论计算机科学学术会议

总文献量: 86篇会议类型: 国内会议会议地点: 福州主办单位: 中国计算机学会会议日期: 2001-09-01
文章浏览

递归领域和项重写系统等价性

冯速 中国科学院计算机科学实验室(北京) 刘石霞 中国科学院计算机科学实验室(北京) 曹顺 中国科学院计算机科学实验室(北京)