机读格式显示(MARC)

• 000 00846nam0 2200241 450

• 001 0000011909

• 005 20200929092800.0

• 010 __ |a 7-5428-1379-X |b 精装 |d CNY14.00

• 100 __ |a 19971103m 50 103m 50 103m

• 101 0_ |a chi

• 105 __ |a y 000yy

• 200 1_ |a 非线性代数方程组与定理机器证明 |A Fei Xian Xing Dai Shu Fang Cheng Zu Yu Ding Li Ji Qi Zheng Ming |f 杨路等著

• 210 __ |a 上海 |c 上海科技教育出版社 |d 1996.9

• 215 __ |a 203页 |d 21厘米

• 225 2_ |a 非线性科学丛书 |A Fei Xian Xing Ke Xue Cong Shu |f 郝柏林主编 |v 8

• 410 _0 |1 20010 |a 非线性科学丛书 |v 8 |1 701 0 |a 郝柏林主编

• 610 0_ |a 非线性科学 |A Fei Xian Xing Ke Xue |a 非线性代数方程组 |a 机器证明 |a 丛书

• 690 __ |a N51

• 701 _0 |a 杨路 |A Yang Lu |4 著

• 701 _0 |a 张景中 |A Zhang Jing Zhong

• 701 _0 |a 侯晓荣 |A Hou Xiao Rong

• 801 _0 |a CN |b AUSTL |c 20200929

• 905 __ |a AUSTL |d N51/H153/8