Rewriting, Computation and Proof

2013-08-25 分类：建筑学

by: Hubert Comon-Lundh, Claude Kirchner, HÃ©lÃ¨ne Kirchner,

Publisher: Springer (2007)

Print length: 286
ISBN: 3540731466,9783540731474,9783540731467,

Language: English

代发服务PDF电子书10元立即求助

1111

 打赏