登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Advanced Topics in Term Rewriting
EISBN:
9781475736618
PISBN:
9780387952505
出版社:
Springer New York
出版类型:
Graduate/advanced undergraduate textbook
出版时间:
2002
版次:
2002
作者:
Enno Ohlebusch
主题词:
Computer Science,Computer System Implementation,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Advanced Topics in Term Rewriting
作者:
Enno Ohlebusch
EISBN:
9781475736618
出版社:
Springer New York
出版时间:
2002
Term Rewriting
作者:
Hubert Comon,Jean-Pierre Jounnaud
EISBN:
9783540492375
出版社:
Springer Berlin Heidelberg
出版时间:
1995
Term Rewriting
作者:
Hubert Comon,Jean-Pierre Jouannaud
EISBN:
9783540492375
出版社:
Springer Berlin Heidelberg
出版时间:
1995
Term Rewriting and Applications
作者:
Jürgen Giesl
EISBN:
9783540320333
出版社:
Springer Berlin Heidelberg
出版时间:
2005
Term Rewriting and Applications
作者:
Frank Pfenning
EISBN:
9783540368359
出版社:
Springer Berlin Heidelberg
出版时间:
2006
Term Rewriting and Applications
作者:
Franz Baader
EISBN:
9783540734499
出版社:
Springer Berlin Heidelberg
出版时间:
2007
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。