已经限定的分面

图书馆:

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. 显示更多..

馆藏地点

1. 显示更多..

主题

1. logic programming (4)
2. logic, symbolic and mathematical (4)
3. artificial intelligence (2)
4. automatic theorem proving (2)
5. computer science (2)
6. model theory (2)
7. algebraic fields (1)
8. algebraic logic (1)
9. computational intelligence (1)
10. computer programming (1)
11. congresses (1)
12. constructibility (set theory) (1)
13. constructive mathematics (1)
14. descriptive set theory (1)
15. domination (graph theory) (1)
16. finite model theory (1)
17. fuzzy logic (1)
18. large cardinals (mathematics) (1)
19. mathematics (1)
20. modality (logic) (1)
21. 显示更多..

著者

1. aisc 2002 (1)
2. armando, alessandro (1)
3. boiten, eerke, (1)
4. boulton, richard j., (1)
5. brazdil, pavel b., (1)
6. calculemus 2002 (1)
7. calmet, jacques (1)
8. conference on applications of logic to algebra and arithmetic (1)
9. cooper, s. b (1)
10. deransart, pierre., (1)
11. dold, a., (1)
12. dortmunder fuzzy-tage (1)
13. font, josep maria, (1)
14. frocos 2002 (1)
15. goldblatt, robert (1)
16. goos, g., (1)
17. haskell, deirdre, (1)
18. hrushovski, ehud, (1)
19. ilp 2001 (1)
20. international workshop on logic program synthesis and transformation (1)
21. 显示更多..

出版日期

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

文献类型

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

语言种类

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