已经限定的分面

图书馆:

1. 湘图 x

馆藏地点:

文献类型

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

主题

1. 显示更多..

著者

1. 20000704d1984 km y0engy0120 ba (1)
2. special session on automatic theorem proving (1)
3. 显示更多..

出版日期

1. 显示更多..

馆藏地点

1. 储备书库1 (1)
2. 显示更多..

图书馆

1. 工信书吧
2. 省发改委
3. 湖南图书馆
4. [湘图]
5. 省税务局
6. 省军区分馆
7. 显示更多..

语言种类

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

在馆

1. 在馆 (1)
2. 显示更多..