已经限定的分面

馆藏地点:

1. 武汉校区二线书库 x

出版日期:

1. 1983 x

图书馆

1. 长江大学图书馆 (3)
2. 文理学院图书馆 (1)
3. 显示更多..

馆藏地点

1. [武汉校区二线书库] (3)
2. 文理学院三线书库 (1)
3. 文理学院样本 (1)
4. 西校区外借书库 (1)
5. 显示更多..

主题

1. 应用 (1)
2. 数理逻辑 (1)
3. 机器证明 (1)
4. 显示更多..

著者

1. (美)米特拉(mittra，r.)编著 (1)
2. mittra (1)
3. r (1)
4. 米特拉 (1)
5. 郑维行 (1)
6. 郑维行等著 (1)
7. 金元松 (1)
8. 金元松译 (1)
9. 陆钟万 (1)
10. 陆钟万著 (1)
11. 显示更多..

出版日期

1. [1983] (3)
2. 显示更多..

文献类型

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

语言种类

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