Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540731467
标注页数
273 页
PDF页数
291 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540731467
标注页数
273 页
PDF页数
291 页