分面检索

资源类型

1. 纸质资源 (93)
2. 显示更多..

图书馆

1. 武汉理工大学图书馆 (90)
2. 机电工程学院 (1)
3. 经济学院 (1)
4. 交通学院 (3)
5. 法学与人文社会学院分馆 (1)
6. 自动化学院 (4)
7. 显示更多..

馆藏地点

1. 余区图书保存本库 (54)
2. 西院西文图书保存本库 (33)
3. 余区外文图书借阅区 (10)
4. 南湖图书借阅区 (6)
5. 余区中文图书借阅区 (6)
6. 南湖外文图书借阅区 (5)
7. 东院中文图书借阅区 (4)
8. 自动化学院资料室(东院) (4)
9. 交通学院资料室(余区) (3)
10. 机电工程学院资料室(东院) (1)
11. 法学与人文社会学分馆(东院) (1)
12. 经济学院资料室（鉴湖） (1)
13. 显示更多..

主题

1. artificial intelligence (46)
2. logic programming (20)
3. lisp (computer program language) (10)
4. prolog (computer program language) (10)
5. automatic theorem proving (8)
6. constraint programming (computer science) (8)
7. problem solving (8)
8. intelligent agents (computer software) (7)
9. programming languages (electronic computers) (6)
10. computer programming (5)
11. knowledge representation (information theory) (5)
12. 人工智能 (5)
13. evolutionary computation (4)
14. evolutionary programming (computer science) (4)
15. operations research (4)
16. combinatorial optimization (3)
17. constraints (artificial intelligence) (3)
18. electronic digital computers (3)
19. heuristic programming (3)
20. microcomputers (3)
21. 显示更多..

著者

1. voronkov, a (8)
2. luger, george f (5)
3. bordini, rafael h (3)
4. brueckner, sven a (3)
5. european research consortium for informatics and mathematics (3)
6. international conference on integration of ai and or techniques in constraint programming for combinatorial optimisation problems (3)
7. promas (conference) (3)
8. baldoni, matteo, (2)
9. international workshop on constraint solving and constraint logic programming (2)
10. international workshop on declarative agent languages and technologies (2)
11. kowalski, robert (2)
12. lpar (2)
13. 郑南宁 (2)
14. 郑南宁主编 (2)
15. allen, john, (1)
16. annual artificial intelligence & advanced computer technology conference (1)
17. apt, krzysztof r., (1)
18. ashley, k. d (1)
19. azevedo, francisco (1)
20. baader, franz (1)
21. 显示更多..

出版日期

1. 2022 (2)
2. 2019 (1)
3. 2021 (1)
4. 2023 (1)
5. 2024 (1)
6. 显示更多..

文献类型

1. 图书（纸本） (93)
2. 显示更多..

语言种类

1. 汉语 (6)
2. 英语 (1)
3. 显示更多..

在馆

1. 在馆 (93)
2. 显示更多..