机读格式显示(MARC)

• 000 01424nam0 2200385 450

• 001 0000330604

• 005 20100629110743.0

• 010 __ |a 978-7-5023-6318-5 |d CNY56.00

• 099 __ |a CAL 012009118534

• 100 __ |a 20090313d2009 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 扩展的三段论及自动推理 |A kuo zhan de san duan lun ji zi dong tui li |f 张寅生著

• 210 __ |a 北京 |c 科学技术文献出版社 |d 2009

• 215 __ |a 295页 |c 图 |d 24cm

• 300 __ |a 中国博士后基金会资助 中国科学技术信息研究所知识组织与知识工程重点学科研究项目 中国科学技术信息研究所全额资助出版

• 312 __ |a 英文并列题名取自封底

• 320 __ |a 有书目

• 330 __ |a 本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。

• 510 1_ |a Expanded syllogism and automatic reasoning |z eng

• 600 _1 |a 亚里士多德 |A ya li shi duo de |g (Aristoteles), |f 前384-前322 |x 三段论 |x 研究

• 600 _1 |a 亚里士多德 |A ya li shi duo de |g (Aristoteles), |f 前384-前322 |x 推理 |x 研究

• 606 0_ |a 哲学家 |A zhe xue jia |x 推理 |x 研究 |y 古希腊

• 690 __ |a B502.233 |v 4

• 690 __ |a B812.23 |v 4

• 701 _0 |a 张寅生 |A zhang yin sheng |4 著

• 801 _0 |a CN |b ZSU |c 20090914

• 801 _2 |a CN |b SCNU |c 20100629

• 905 __ |a SCNU |f B502.233/1232

• 999 __ |M yinj |m 20100629 11:07:43 |G yinj |g 20100630 08:46:14

• 000 0000406558

• 991 __ |a 012010015070

• 907 __ |a SCNU |f B502.233/1232