机读格式显示(MARC)

• 000 01351nam2 2200373 4500

• 000 0000089843

• 001 0000070508

• 005 20031117150005.0

• 009 002422834

• 010 __ |a 7-03-011264-4 |d CNY18.00

• 100 __ |a 20031112d2003 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 形式语义学的稳定论域理论 |9 Xingshiyuyixuedewendinglunyulilun |P XSYYXDWDLYLL |f 陈仪香著

• 210 __ |a 北京 |c 科学出版社 |d 2003

• 215 __ |a 205页 |d 20cm

• 225 2_ |a 国家自然科学基金研究专著 |A Guojiazirankexuejijinyanjiuzhuanzhu |i 数理科学系列

• 300 __ |a 国家自然科学基金研究成果专著出版基金资助

• 330 __ |a 本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。

• 410 _0 |1 2001 |a 国家自然科学基金研究专著

• 461 _0 |1 2001 |a 国家自然科学基金研究专著

• 462 _0 |1 001012001061333 |1 2001 |a 数理科学系列

• 606 0_ |a 形式语义学 |A Xingshiyuyixue |x 研究

• 606 0_ |a 形式语义学 |A Xingshiyuyixue

• 690 __ |a TP301.2 |v 4

• 701 _0 |a 陈仪香 |9 Chenyixiang |4 著

• 801 _0 |a CN |b NLC |c 20031111

• 801 _2 |a CN |b 261060 |c 20031117

• 905 __ |a XATU |d TP301.2/3

• 991 __012003019978

• 995 __ |a 261060 |f TP301.2/3

• 999 __ |t C |A shxy |a 20031112 16:07:42 |M shxy |m 20031112 16:08:31 |I zw |i 20031117 15:00:05 |G zw |g 20031117 15:00:0