机读格式显示(MARC)

• 000 02193nam 2200685 450

• 001 0000204334

• 005 20051116144717.0

• 010 __ |a 7-111-16121-1 |d CNY45.00

• 099 __ |a CAL 012005073628

• 100 __ |a 20050623d2005 em y0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a ML程序设计教程 |A ml cheng xu she ji jiao cheng |d = ML for the working programmer |f (英) Lawrence C. Paulson著 |g 柯韦译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2005

• 215 __ |a XV, 369页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 305 __ |a 据原文第2版译出

• 306 __ |a 本书原版由剑桥大学出版社出版, 本书简体字中文版由英国剑桥大学出版社授权机械工业出版社独家出版.

• 314 __ |a 保罗森 (Lawrence C. Paulson), 男, 于1981年在美国斯坦福大学获得计算机逻辑学教授, 近期正在研究关于自动定理证明和密码协议验证方面的工作.

• 320 __ |a 有书目 (第339-345页) 和索引

• 330 __ |a 本书详细讲解如何使用ML语言进行程序设计，介绍函数式程序设计的基本原理等。

• 333 __ |a 高等院校计算机专业学生及广大程序设计人员

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a ML for the working programmer |z eng

• 606 0_ |a 程序语言 |A cheng xu yu yan |x 程序设计 |j 教材

• 606 0_ |a ML语言 |A ml yu yan

• 690 __ |a TP312 |v 4

• 701 _1 |a 保罗森, |A bao luo sen |b L. C. |g (Paulson, L. C.) |4 著

• 702 _0 |a 柯韦 |A ke wei |4 译

• 801 _0 |a CN |b BUA |c 20050623

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

• 905 __ |a SCNU |f TP312/1072/ 1

• 920 __ |a 211060 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 242170 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 221410 |z 1

• 920 __ |a 231400 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 251020 |z 1

• 920 __ |a 211050 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 222010 |z 1

• 998 __ |a BUA

• 999 __ |M yinj |m 20051116 14:47:17 |G yinj |g 20051122 08:27:44

• 000 0000251922

• 991 __ |a 012005028380

• 907 __ |a SCNU |f TP312/1072/ 1