Rewriting, Computation and Proof: Essays Dedicated to

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立即求助
1111
打赏
未经允许不得转载:Wow! eBook » Rewriting, Computation and Proof: Essays Dedicated to

觉得文章有用就打赏一下文章作者

支付宝扫一扫

微信扫一扫