Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-PierPDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:
- 出 版 社:Springer-Verlag
- 出版年份:2007
- ISBN:9783540731467
- 页数:273 页
图书介绍:
《Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier》目录
标签:
相关图书
作者其它书籍