000    nam0
001 __ 0193001571
005 __ 20100303210214.0
010 __ ■a7-80513-926-1■dCNY4.65
092 __ ■a科技259-286
100 __ ■a19930104d1992    em y0chiy0110    ea
101 2_ ■achi■aeng
102 __ ■aCN■b310000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a理论计算机科学■Ali lun ji suan ji ke xue■h1■f吴文俊主编■g《理论计算机科学》编辑委员会编
210 __ ■a上海■c上海科学技术出版社■d1992.6
215 __ ■a186页■d20cm
300 __ ■a英文题名:Theoretical computer science
314 __ ■a吴文俊,中国科学院系统研究所任职,教授,中国科学院学部委员
330 __ ■a本书共收论文10篇。有《建立在一阶谓词演算上的数据库设计理论》(徐洁磐)、《关于永久进程的映射的性质》(洪大威)等。
510 1_ ■aTheoretical computer science■zeng
606 0_ ■a计算机科学■x理论■x文集
606 0_ ■2CT■3S036591■a计算机科学
690 __ ■aTP301■v三版
692 __ ■a73.87
701 _0 ■a吴文俊■Awu wen jun■f(1919~)■4主编
712 _2 ■a本书编辑委员会■Aben shu bian ji wei yuan hui■4编
801 __ ■aCN■bNLC■c20100603