已经限定的分面

图书馆:

1. 湖南大学图书馆 x

馆藏地点:

图书馆

1. 院系分馆
2. 湖南大学图书馆联合目录
3. [湖南大学图书馆]
4. 显示更多..

馆藏地点

1. 显示更多..

主题

1. computational complexity (1)
2. formal languages (1)
3. machine theory (1)
4. modality (logic) (1)
5. model theory (1)
6. 显示更多..

著者

1. ferreira,afonso (2)
2. alt,helmut (1)
3. annual symposium on theoretical aspects of computer science(18th:2001:dresden,germany) (1)
4. annual symposium on theoretical aspects of computer science(19th:2002:antibes-juan les pins,france) (1)
5. biswas,s (1)
6. blackburn, patrick, (1)
7. borger,egon (1)
8. brandstadt,andreas (1)
9. davis, martin, (1)
10. davis,martin d (1)
11. finkel,a (1)
12. gesellschaft fur informatik (1)
13. goos,g (1)
14. hariharan,ramesh,et al (1)
15. international conference on the foundations of software technology and theoretical computer science(21st:2001:bangalore,india) (1)
16. international symposium on theoretical aspects of computer software(4th:2001:sendai,japan) (1)
17. international workshop on graph-theoretic concepts in computer science(27th:2001:boltenhagen,germany) (1)
18. international workshop on theoretical foundations of computer vision (10th:2000:dagstuhl castle,germany) (1)
19. khosrovshahi,gholamreza b.,et al (1)
20. klette,reinhard,et al (1)
21. 显示更多..

出版日期

1. 显示更多..

文献类型

1. 图书 (21)
2. 期刊 (1)
3. 显示更多..

语言种类

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