摘要：扩展高阶重写的证明术语的问题
作者：Pablo Barenbaum and Eduardo Bonelli
论文ID：2210.15654
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-08-17
PDF 下载： 英文版 中文版pdf翻译中