已经限定的分面

图书馆:

1. 辽宁省图书馆 x

馆藏地点:

分面检索

图书馆

1. 阜新市分馆
2. 喀左分馆
3. 阜新县分馆
4. 兴城分馆
5. 北镇分馆
6. [辽宁省图书馆]
7. 本溪县分馆
8. 开原分馆
9. 北票分馆
10. 鲅鱼圈分馆
11. 政协分馆
12. 建昌分馆
13. 中心馆
14. 本溪分馆
15. 凤城分馆
16. 丹东分馆
17. 和平分馆
18. 朝阳分馆
19. 桓仁分馆
20. 抚顺县分馆
21. 灯塔分馆
22. 大洼分馆
23. 盘锦大洼分馆（暂时不用）
24. 宽甸县分馆
25. 大连瓦房店分馆
26. 显示更多..

馆藏地点

1. 新馆外文 (15)
2. 保存 (1)
3. 显示更多..

主题

1. logic programming (4)
2. algorithms (2)
3. computer science (2)
4. mathematics (2)
5. automatic theorem proving (1)
6. cognition (1)
7. cognitive psychology (1)
8. computable functions (1)
9. computer logic (1)
10. congresses (1)
11. data processing (1)
12. database management (1)
13. design and construction (1)
14. digital electronics (1)
15. electronic circuit design (1)
16. fuzzy logic (1)
17. induction (logic) (1)
18. integrated circuits (1)
19. intellect (1)
20. logic design (1)
21. 显示更多..

著者

1. (德)michael huth，(英)mark ryan著 (1)
2. boulton, richard j., (1)
3. brayton, robert king (1)
4. castillo, oscar, (1)
5. deransart, pierre., (1)
6. gershman, samuel j., (1)
7. goos, g., (1)
8. hunter, david james, (1)
9. huth, michael, (1)
10. ilp 2001 (1)
11. international workshop on logic program synthesis and transformation (1)
12. international workshop plilp '90 (1)
13. jackson, paul b., (1)
14. lpar 2001 (1)
15. maluszynski, j (1)
16. melin, patricia, (1)
17. nerode, anil (1)
18. nieuwenhuis, robert (1)
19. nixon, mark (1)
20. paris, j. b (1)
21. 显示更多..

出版日期

1. 2007 (1)
2. 显示更多..

文献类型

1. 图书 (16)
2. 显示更多..

语言种类

1. 汉语 (1)
2. 显示更多..

在馆

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