机读格式显示(MARC)

• 000 01141nam0 2200301 450

• 001 0000341608

• 005 20160804091813.6

• 010 __ |a 978-7-118-10515-5 |d CNY88.00 |f CNY52.80

• 092 __ |a CN |b 人天742-2841

• 100 __ |a 20160804d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 论初等几何定理的机器证明与消去法 |A lun chu deng ji he ding li de ji qi zheng ming yu xiao qu fa |f 朱望规著

• 210 __ |a 北京 |c 国防工业出版社 |d 2016.06

• 215 __ |a 257页 |c 图 |d 26cm

• 330 __ |a 本书介绍了初等几何机器证明。主要内容包括：几何定理的机器证明、Morley定理及其机器证明、Simson定理共三章。

• 333 __ |a IT行业的从业人员

• 606 0_ |a 初等几何 |x 定理证明 |x 机器证明 |x 消去法

• 690 __ |a O123 |v 5

• 701 _0 |a 朱望规 |A zhu wang gui |4 著

• 801 _0 |a CN |b 人天书店 |c 20160804

• 856 __ |q PDF/EPUB |s 184987.46K |u http://www.cxstar.com/Book/Detail?pinst=P6u77RH0me5oQF0l5w3&ruid=288069b300050aXXXX

• 904 __ |a 288069b300050aXXXX |b 基础数学 |c 不可供 |d 成人学术 |e 否

• 905 __ |a LYVC |d O123/E0074851

• 906 __ |a E0074851 |b E0074851 |c O123/E0074851 |d 电子图书 |e 52.80

• 920 __ |a 441400 |z 1