302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
通用推理机－计算机辅助教学
2004年
2004
搜索分类
计算机自动推理与智能教学
本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言PROLOG语言，并在此基础上介...
2004.
按中图号分类
中图号G634
11832
中图号G624
3239
中图号I247.5
2329
中图号G634.413
1538
中图号I267
1287
中图号H31
1204
中图号H319.4
927
中图号TP391.41
910
中图号I227
859
中图号TP312
855
中图号G634.303
812
中图号F270
773
中图号I25
680
中图号TP3
652
中图号J222.7
620
中图号H319.9
595
中图号G624.203
519
中图号H125.4
516
中图号I247.7
515
中图号J228.2
504
按出版社分类
机械工业出版社
3066
清华大学出版社
2514
科学出版社
2363
高等教育出版社
2224
南方出版社
1947
北京大学出版社
1595
化学工业出版社
1430
电子工业出版社
1403
延边人民出版社
1348
中国人民大学出版社
1248
新疆人民出版社
1136
中国电力出版社
1115
外语教学与研究出版社
930
中国财政经济出版社
898
中国建筑工业出版社
878
人民邮电出版社
878
中国少年儿童出版社
859
东南大学出版社
827
民族出版社
813
人民日报出版社
771