吴文俊全集·数学机械化I
《吴文俊全集·数学机械化I》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855509。本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solvin
投稿
微信公众账号
微信扫一扫加关注
顶部