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元我要求助