吴文俊全集. 数学机械化卷. Ⅱ = The complete works of Wu Wen-tsun. Mathematics mechanization. Ⅱ：mechanical theorem proving in geometries: basic principles

Main Authors: 吴文俊 1919-2017 (著)
Published: 龙门书局
Publication Dates: 2019
Call Number: O1-53/6802-4#2