分面检索

图书馆

1. 湖北图 (1)
2. 显示更多..

主题

1. lyndon, roger c (1)
2. 显示更多..

著者

1. american mathematical society (3)
2. ams-ims-siam joint summer research conference in the mathematical sciences on four-manifold theory (1)
3. ams-ims-siam joint summer research conference in the mathematical sciences on statistical inference from stochastic processes (1)
4. appel, kenneth i., (1)
5. bledsoe, w. w (1)
6. gordon, cameron, (1)
7. harper, john r., (1)
8. institute of mathematical statistics (1)
9. kirby, robion c., (1)
10. loveland, donald w (1)
11. lyndon, roger c (1)
12. mandelbaum, richard, (1)
13. prabhu, n. u (1)
14. ratcliffe, john g., (1)
15. schupp, paul e., (1)
16. society for industrial and applied mathematics (1)
17. special session on automatic theorem proving (1)
18. 显示更多..

出版日期

1. 显示更多..

文献类型

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

语言种类

1. 显示更多..