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
电子书百科大全
评论前必须登录!
立即登录 注册