| 000 |
|
00924nam0 2200253 450 |
| 010 |
__ |
■a978-7-5023-6318-5■dCNY56.00■z7-5023-6318-1 |
| 100 |
__ |
■a20100914d2009 em y0chiy0120 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aak z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a扩展的三段论及自动推理■f张寅生著■Akuo zhan de san duan lun ji zi dong tui+...... |
| 210 |
__ |
■a北京■c科学技术文献出版社■d2009.03 |
| 215 |
__ |
■a295页■c图表■d24cm |
| 312 |
__ |
■a英文并列题名取自封面 |
| 510 |
1_ |
■aExpanded syllogism and automatic reasoning■zeng |
| 600 |
_0 |
■a亚里士多德■f前384-前322■x三段论■x研究■Aya li shi duo de |
| 606 |
0_ |
■a三段论■x研究■Asan duan lun |
| 690 |
__ |
■aB502.233■v4 |
| 701 |
_0 |
■a张寅生■4著■Azhang yin sheng |
| 801 |
_0 |
■aCN■bGSXY■c20100914 |
| 905 |
__ |
■aGSXY■fB502.233/Z892 |
| 999 |
__ |
■tC■Aznn■a20100914 10:01:49■Mznn■m20100914 10:02:01 |