分面检索

图书馆

1. 三明市图书馆 (1)

馆藏地点

1. 十二楼库区 (1)
2. 显示更多..

主题

1. 计算机 (1)
2. 逻辑设计 (1)
3. 显示更多..

著者

1. (美)马丁·戴维斯(martin davis)著 (1)
2. davis (1)
3. martin (1)
4. 张卜天 (1)
5. 张卜天译 (1)
6. 戴维斯 (1)
7. 显示更多..

出版日期

1. 2018 (1)
2. 显示更多..

文献类型

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

语言种类

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