机读格式显示(MARC)

• 000 01490nam0 2200361 450

• 001 0000358510

• 005 20110531151229.0

• 010 __ |a 978-7-121-12407-5 |d CNY58.00

• 099 __ |a CAL 012011010492

• 100 __ |a 20110110d2011 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 当代形式逻辑及其在人工智能中的应用理论研究 |A dang dai xing shi luo ji ji qi zai ren gong zhi neng zhong de ying yong li lun yan jiu |d = Theory study on contemporary formal logic and its application on artificial intelligence |f 龚启荣等著 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2011

• 215 __ |a 42, 435页 |c 图 |d 24cm

• 300 __ |a 教育部人文社会科学“当代形式逻辑及其在人工智能中的应用理论研究”项目成果 批准号: 07JA720006

• 320 __ |a 有书目

• 330 __ |a 本书分为五篇，包括：导论、逻辑思考、当代形式逻辑Cm系统、当代形式逻辑名词演算Cn系统、人工智能机器推理和知识表示的逻辑理论工具探讨。

• 510 1_ |a Theory study on contemporary formal logic and its application on artificial intelligence |z eng

• 606 0_ |a 形式逻辑 |A xing shi luo ji |x 研究

• 606 0_ |a 形式逻辑 |A xing shi luo ji |x 应用 |x 人工智能 |x 研究

• 690 __ |a B812 |v 4

• 690 __ |a TP18 |v 4

• 701 _0 |a 龚启荣 |A gong qi rong |4 著

• 801 _0 |a CN |b ZJU |c 20110110

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

• 905 __ |a SCNU |f B812/4334/ 1

• 999 __ |M xfm |m 20110531 15:12:29 |G xfm |g 20110531 15:12:31

• 000 0000439029

• 991 __ |a 012011008851

• 907 __ |a SCNU |f B812/4334/ 1