Rewriting, Computation and Proof

Rewriting, Computation and Proof
Get this book Contact Email: girro@qq.com

Rewriting, Computation and Proof
Author: Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner,
Publisher: Springer (2007)
Pages: 286
ISBN: 3540731466,9783540731474,9783540731467,
Language: English

代发服务PDF电子书10立即求助
未经允许不得转载:电子书百科大全 » Rewriting, Computation and Proof

评论 抢沙发

评论前必须登录!

立即登录   注册