原名:Advanced Topics in Term Rewriting by Enno Ohlebusch (auth.)
作品简介:术语重写技术适用于计算机科学的各个领域：软件工程（例如，等式指定的抽象数据类型）、编程语言（例如，函数逻辑编程）、计算机代数（例如，符号计算、Grabner 基） ，在职业格拉……
资源下载
VIP免费升级VIP
原名:Advanced Topics in Term Rewriting by Enno Ohlebusch (auth.)
作品简介:术语重写技术适用于计算机科学的各个领域：软件工程（例如，等式指定的抽象数据类型）、编程语言（例如，函数逻辑编程）、计算机代数（例如，符号计算、Grabner 基） ，在职业格拉……
