分面检索

资源类型

1. 显示更多..

图书馆

1. 显示更多..

馆藏地点

1. 显示更多..

主题

1. young, gail s (1)
2. 显示更多..

著者

1. ieee computer society (6)
2. symposium on mathematical foundations of computer science (1972- ) (5)
3. symposium on foundations of computer science (4)
4. gruska, jozef (2)
5. acm special interest group for automata and computability theory (1)
6. alfred p. sloan foundation (1)
7. be閏v鈇閞, j., (1)
8. blikle, andrzej (1)
9. carberry, m. s (1)
10. chytil, michal (1)
11. dembi鈔ski, piotr (1)
12. ewing, richard e (1)
13. gross, kenneth i (1)
14. international conference on the mathematical foundation of programming semantics (1)
15. main, m (1)
16. martin, clyde (1)
17. national science foundation (u.s.) (1)
18. nerode, anil, (1)
19. polska akademia nauk (1)
20. stefan banach international mathematical center (1)
21. 显示更多..

出版日期

1. 显示更多..

文献类型

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

语言种类

1. 显示更多..