机读格式显示(MARC)
- 000 01214nam2 2200337 4500
- 010 __ |a 7-5635-0921-6 |d CNY29.00
- 100 __ |a 20050509d2005 em y0chiy0110 ea
- 200 1_ |a 计算机自动推理与智能教学 |9 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 tong yong tui li ji |x 计算机辅助教学
- 606 0_ |a 通用推理机 |A tong yong tui li ji
- 606 0_ |a 计算机辅助教学 |A ji suan ji fu zhu jiao xue
- 701 _0 |a 王岚 |9 wang lan |4 主编
- 701 _0 |a 乐毓俊 |9 le yu jun |4 主编
- 801 _0 |a CN |b SRXX |c 20050322
- 801 _2 |a CN |b 261060 |c 20050511
- 905 __ |a XATU |d G434/44
- 995 __ |a 261060 |f G434/44
- 999 __ |t C |A cuixiaojing |a 20050509 16:24:31 |I zw |i 20050511 11:22:2