机读格式显示(MARC)

• 000 02230nam 2200625 450

• 001 0000202207

• 005 20051010154007.0

• 010 __ |a 7-305-03832-6 |d CNY24.00

• 099 __ |a CAL 012003044622

• 100 __ |a 20021204d2002 em y0chiy0121 ea

• 101 1_ |a chi |c swe

• 102 __ |a CN |b 320000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a Martin-Lof类型论程序设计导引 |A martin-lof lei xing lun cheng xu she ji dao yin |d = Programming in Martin-Lofs type theory an introduction |f (瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著 |g 宋方敏译 |z eng

• 210 __ |a 南京 |c 南京大学出版社 |d 2002

• 215 __ |a 195页 |d 23cm

• 225 2_ |a 创建世界高水平大学项目资助教材 |A chuang jian shi jie gao shui ping da xue xiang mu zi zhu jiao cai

• 314 __ |a 责任者 (Nordstrom) 规范汉译姓: 努德斯特伦, 责任者 (Petersson) 规范汉译姓: 彼得森, 责任者 (Smith) 规范汉译姓: 史密斯.

• 320 __ |a 有书目 (第183-191页)

• 330 __ |a 本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。

• 410 _0 |1 2001 |a 创建世界高水平大学项目资助教材

• 510 1_ |a Programming in Martin-Lofs type theory an introduction |z eng

• 606 0_ |a 计算数学 |A ji suan shu xue |x 高等学校 |j 教材

• 690 __ |a O24 |v 4

• 701 _1 |a 努德斯特伦, |A nu de si te lun |b B. |g (Nordstrom, Bengt) |4 著

• 701 _1 |a 彼得森, |A bi de sen |b K. |g (Petersson, Kent) |4 著

• 701 _1 |a 史密斯, |A shi mi si |b J. M. |g (Smith, Jan M.) |4 著

• 702 _0 |a 宋方敏 |A song fang min |4 译

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

• 801 _2 |a CN |b NUL |c 20030320

• 801 _2 |a CN |b DUTL |c 20030529

• 801 _2 |a CN |b SCNU |c 20051010

• 905 __ |a SCNU |f O24/8010

• 920 __ |a 232010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 231400 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 236010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 241420 |z 1

• 920 __ |a 262010 |z 1

• 998 __ |a NUL

• 999 __ |M chqy |m 20051010 15:40:07 |G gly |g 20051011 08:20:00

• 000 0000249345

• 991 __ |a 012005022795

• 907 __ |a SCNU |f O24/8010