| 000 |
|
01468nam0 2200313 450 |
| 010 |
__ |
■a978-7-305-03832-7■dCNY24.00■z7-305-03832-6 |
| 100 |
__ |
■a20100706d2002 km y0chiy50 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创建世界高水平大学项目资助教材 |
| 300 |
__ |
■a并列题名：Programming in martin-lofs type theory an introductio+...... |
| 314 |
__ |
■a责任者规范汉译姓: 努德斯特伦 (Nordstrom), 彼得森 (Petersson), 史密斯 (Smith)。 |
| 320 |
__ |
■a有书目 (第183-191页)。 |
| 510 |
1_ |
■aProgramming in martin-lofs type theory an introduction■zsw+...... |
| 606 |
0_ |
■a计算数学■j教材■x高等学校■Aji suan shu xue |
| 690 |
__ |
■aO24■v4 |
| 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■bGSXY■c20100707 |
| 905 |
__ |
■aGSXY■fO24/N261 |
| 999 |
__ |
■tC■Axj■a20100706 14:56:26■Mwh■m20100707 15:05:50 |
(共0票)
评价
