已经限定的分面

图书馆:

1. 湖南大学图书馆 x

馆藏地点:

图书馆

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

馆藏地点

1. 显示更多..

文献类型

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

主题

1. 显示更多..

著者

1. boulton,richard j (1)
2. international conference on theorem proving in higher order logics(14th:2001:edinburgh,scotland,uk) (1)
3. jackson,paul b (1)
4. 显示更多..

出版日期

1. 显示更多..

语言种类

1. 显示更多..