机读格式显示(MARC)

• 000 01960nam0 2200697 450

• 001 0000192066

• 005 20070619163746.0

• 010 __ |a 7-5635-0921-6 |d CNY29.00

• 099 __ |a CAL 012005037184

• 100 __ |a 20050317d2005 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 计算机自动推理与智能教学 |A ji suan ji zi dong tui li yu zhi neng jiao xue |f 王岚, 乐毓俊主编

• 210 __ |a 北京 |c 北京邮电大学出版社 |d 2005

• 215 __ |a 311页 |c 图 |d 26cm

• 330 __ |a 本书主要介绍计算机自动推理基础数理逻辑及以此理论为基础的人工智能语言prolog语言，并在些基础上介绍了计算机自动推理理论在教育中应用的基本原理。

• 333 __ |a 高等院校相关专业师生, 从事数理逻辑和智能教学的人员和教师.

• 606 0_ |a 计算机辅助教学 |A ji suan ji fu zhu jiao xue |x 专家系统

• 606 0_ |a 程序设计 |A cheng xu she ji

• 690 __ |a G434 |v 4

• 690 __ |a TP312 |v 4

• 701 _0 |a 王岚 |A wang lan |4 主编

• 701 _0 |a 乐毓俊 |A le yu jun |4 主编

• 801 _0 |a CN |b XHSD |c 20050317

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

• 905 __ |a SCNU |f G434/1022/ 1

• 920 __ |a 211050 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 235030 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 236010 |z 1

• 920 __ |a 222030 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 233020 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a F44010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 222020 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 242250 |z 1

• 920 __ |a 241420 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 251020 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 223020 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 232020 |z 1

• 998 __ |a BJP

• 999 __ |M gwn |m 20070619 16:37:46 |G gwn |g 20070619 16:38:49

• 000 0000236882

• 991 __ |a 012007009250

• 907 __ |a SCNU |f G434/1022/ 1