Mechanizing Mathematical Reasoning: Essays in Honor of Jörg

girro 9 阅读 0 评论
心理学

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg

by: Dieter Hutter, Weer Stephan

Print length: 565

Publication Date: 2005-04-06

ISBN-10: 3540250514

ISBN-13: 9783540250517

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