| 000 |
|
01804nam0 2200409 450 |
| 001 |
|
CAL 012003044622 |
| 005 |
|
20040531091818.1 |
| -01 |
|
■/192.168.243.15/图书总库/ctlno/0019104|eafbbf4f790d00002a |
| -01 |
|
■/192.168.248.4/图书总库/ctlno/0019104|010dd64b760c000028 |
| 010 |
__ |
■a7-305-03832-6■dCNY24.00 |
| 099 |
__ |
■aCAL 012003044622 |
| 100 |
__ |
■a20021204d2002 em y0chiy0121 ea |
| 101 |
1_ |
■achi■cswe |
| 102 |
__ |
■aCN■b320000 |
| 105 |
__ |
■ay a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■aMartin-Lof类型论程序设计导引■d= Programming in Martin-Lofs Type The+...... |
| 210 |
__ |
■a南京■c南京大学出版社■d2002 |
| 215 |
__ |
■a195页■d23cm |
| 300 |
__ |
■a创建世界高水平大学项目资助教材 |
| 314 |
__ |
■a著者规范汉译姓: 努德斯特伦 (Nordstrom), 彼得森 (Petersson), 史密斯 (Smith) |
| 320 |
__ |
■a有书目 (第183-191页) |
| 330 |
__ |
■a本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研+...... |
| 510 |
1_ |
■aProgramming in Martin-Lofs Type Theory an Introduction■zen+...... |
| 606 |
0_ |
■a计算数学■j教材■x高等学校■Aji suan shu xue |
| 690 |
__ |
■aO24■v4 |
| 692 |
__ |
■a51.8■v3 |
| 701 |
_1 |
■a努德斯特伦■bB.■g(Nordstrom, Bengt)■4著■Anu de si te lun |
| 701 |
_1 |
■a彼得森■bK.■g(Petersson, Kent)■4著■Abi de sen |
| 701 |
_1 |
■a史密斯■bJ. M.■g(Smith, Jan M.)■4著■Ashi mi si |
| 702 |
_0 |
■a宋方敏■4译■Asong fang min |
| 801 |
_0 |
■aCN■bNLC■c20021230 |
| 801 |
_2 |
■aCN■bNUL■c20030320 |
| 801 |
_2 |
■aCN■bDUTL■c20030529 |
| 905 |
__ |
■aJG■b088851-088853■dO24■eN946 |
| 906 |
__ |
■a088851■h088851■b图书馆■a088852■h088852■b图书馆■a088853■h088853■b+...... |
| 986 |
__ |
■a088851■h088851■b图书馆■a088852■h088852■b图书馆■a088853■h088853■b+...... |
(共0票)
评价
