Rewriting, Computation and Proof: Essays Dedicated to

2014-02-02 分类：农业

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 273 pages

Publisher: Springer (June 22, 2007)

Language: English

ISBN-10: 3540731466

电子书代发PDF格式价格10元我要求助

未经允许不得转载：Wow! eBook » Rewriting, Computation and Proof: Essays Dedicated to

相关推荐