书目信息 |
| 书名： | Logic for applications = | |
| 作者： | Anil Nerode, Richard A. Shore著. | |
| 分册号： | ||
| 分册名： | 出版地： | 北京 : |
|
| 出版社： | China Machine Press | |
| 出版时间： | 2006. | |
| 页数： | xi, 456 p. : | |
| 开本： | 25 cm. | |
| 丛书名： | 经典原版书库 | |
| 中图分类号： | ||
| 科图分类号： | ||
| 其他分类号： | H31:O141 | |
| 主题词： | ||
| 电子资源： | ||
| 000 | 03650cam a2201561 a 45 | |
| 001 | 00000133789 | |
| 003 | CAL | |
| 005 | 20140321105258.15 | |
| 008 | 061017r20061997cc b 001 0 eng d | |
| 020 | @a7111197720. | |
| 040 | @aNMU@cNMU@dSCT@dNUL | |
| 082 | 04 | @a005.1/01/5113@220 |
| 093 | @aO142@24 | |
| 093 | @aO141@24 | |
| 099 | @dH31:O141@e13=2 | |
| 100 | 1 | @aNerode, Anil,@d1932- |
| 245 | 10 | @aLogic for applications =@b应用逻辑 / @cAnil Nerode, Richard A. Shore著. |
| 246 | 31 | @a应用逻辑 |
| 250 | @a2nd ed. | |
| 260 | @a北京 :@bChina Machine Press,@c2006. | |
| 300 | @axi, 456 p. :@bill. ;@c25 cm. | |
| 440 | 0 | @a经典原版书库 |
| 440 | 0 | @aHZ books |
| 534 | @pReprint. Originally published:@cNew York : Springer, c1997.@b2nd ed.@z0387948937 (hc : alk. paper) | |
| 650 | 0 | @aLogic, Symbolic and mathematical. |
| 650 | 0 | @aComputer science@xMathematics. |
| 650 | 0 | @a英语 |
| 700 | 1 | @aShore, Richard A.,@d1946- |
| 905 | @a241250@d@e | |
| 920 | @a215010@z1 | |
| 920 | @a221020@z1 | |
| 920 | @a211010@z2 | |
| 920 | @a211260@z1 | |
| 920 | @a245010@z2 | |
| 920 | @a231030@z2 | |
| 920 | @a241061@z1 | |
| 920 | @a212020@z1 | |
| 920 | @a234030@z1 | |
| 920 | @a211090@z2 | |
| 920 | @a231400@z1 | |
| 920 | @a233020@z1 | |
| 920 | @a211130@z1 | |
| 920 | @a212010@z1 | |
| 920 | @a235010@z2 | |
| 920 | @a211162@z1 | |
| 920 | @a211030@z2 | |
| 920 | @a235030@z1 | |
| 920 | @a242440@z2 | |
| 920 | @a211070@z1 | |
| 920 | @a261020@z1 | |
| 920 | @a244020@z2 | |
| 920 | @a244050@z1 | |
| 920 | @a243325@z1 | |
| 920 | @a251050@z1 | |
| 920 | @a262070@z1 | |
| 920 | @a231010@z2 | |
| 920 | @a211020@z2 | |
| 920 | @a232010@z2 | |
| 920 | @a242020@z1 | |
| 920 | @aF44010@z2 | |
| 920 | @a241010@z1 | |
| 920 | @a211050@z2 | |
| 920 | @a244070@z1 | |
| 920 | @a251010@z1 | |
| 920 | @a232090@z2 | |
| 920 | @a244180@z2 | |
| 920 | @a261030@z2 | |
| 920 | @a211060@z1 | |
| 920 | 1 | @a234010@z1 |
| 920 | 1 | @a211080@z1 |
| 920 | 1 | @a211111@z1 |
| 920 | 1 | @a212045@z1 |
| 920 | 1 | @a211380@z1 |
| 920 | 1 | @a243070@z1 |
| 920 | 1 | @a211361@z1 |
| 920 | 1 | @a244450@z1 |
| 920 | 1 | @a236020@z1 |
| 920 | 1 | @a231100@z1 |
| 920 | 1 | @a231060@z1 |
| 920 | 1 | @a244055@z1 |
| 920 | 1 | @a244370@z1 |
| 920 | 1 | @a246040@z1 |
| 920 | 1 | @a223010@z1 |
| 920 | 1 | @a241180@z1 |
| 920 | 1 | @a243031@z1 |
| 920 | 1 | @a242365@z1 |
| 920 | 1 | @a243130@z1 |
| 920 | 1 | @a242450@z1 |
| 920 | 1 | @a242280@z1 |
| 920 | 1 | @a232140@z1 |
| 920 | 1 | @a237290@z1 |
| 920 | 1 | @a235280@z1 |
| 920 | 1 | @a211168@z1 |
| 920 | 1 | @a241420@z1 |
| 920 | 1 | @a223140@z1 |
| 920 | 1 | @a221060@z1 |
| 920 | 1 | @a221063@z1 |
| 920 | 1 | @a233025@z1 |
| 920 | 1 | @a232330@z1 |
| 920 | @a211040@z2 | |
| 920 | 1 | @a233104@z1 |
| 920 | 1 | @a232151@z1 |
| 920 | 1 | @a237020@z1 |
| 920 | 1 | @a223101@z1 |
| 920 | 1 | @a237050@z1 |
| 920 | 1 | @a235160@z1 |
| 920 | 1 | @a242430@z1 |
| 920 | 1 | @a237010@z1 |
| 920 | 1 | @a232020@z1 |
| 920 | 1 | @a231231@z1 |
| 920 | 1 | @a244030@z1 |
| 920 | 1 | @a251040@z1 |
| 920 | 1 | @a221050@z1 |
| 920 | 1 | @a231020@z1 |
| 920 | 1 | @a233170@z1 |
| 920 | 1 | @a244067@z1 |
| 920 | 1 | @a242050@z1 |
| 920 | 1 | @a242120@z1 |
| 920 | 1 | @a242140@z1 |
| 920 | 1 | @a261050@z1 |
| 920 | 1 | @a242340@z1 |
| 920 | 1 | @a261011@z1 |
| 920 | 1 | @a242471@z1 |
| 920 | 1 | @a213015@z1 |
| 920 | 1 | @a232181@z1 |
| 920 | 1 | @a244285@z1 |
| 920 | 1 | @a233250@z1 |
| 920 | 1 | @a235170@z1 |
| 920 | @a246060@z2 | |
| 920 | 1 | @a234050@z1 |
| 920 | @a231280@z2 | |
| 920 | @a231220@z1 | |
| 998 | @aNMU | |
| Logic for applications = : 应用逻辑 / / Anil Nerode, Richard A. Shore著.-2nd ed.-北京 : : China Machine Press, , 2006. |
| xi, 456 p. : : ill. ; ; 25 cm.- (经典原版书库).- (HZ books) |
| ISBN 7111197720. |
| ● |
| 相关链接 |
正题名：Logic for applications
索取号：H31:O141/13=2
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 0908420 | 209084202 | 样本书库/4110880302/ [索取号:H31:O141/13=2] | 在馆 | |
| 2 | 0908421 | 209084211 | 西文书库/4110880302/ [索取号:H31:O141/13=2] | 在馆 | |
| 3 | 0908422 | 209084220 | 西文书库/4110880302/ [索取号:H31:O141/13=2] | 在馆 | |
| 4 | 0908423 | 209084239 | 西文书库/4110880302/ [索取号:H31:O141/13=2] | 在馆 | |
| 5 | 0908424 | 209084248 | 西文书库/4110880302/ [索取号:H31:O141/13=2] | 在馆 |