分析基础机器证明系统(精)/数学机械化丛书

出版时间 2022-01-01T00:00 数学理论 57891

作者： 郁文生//付尧顺//郭礼权|责编:王丽平|总主编:吴文俊
出版社： 科学
原售价: 198.00
折扣价: 156.50
折扣购买: 分析基础机器证明系统(精)/数学机械化丛书
ISBN： 9787030706713

作者简介