分面检索

资源类型

1. 纸质资源 (30)
2. 显示更多..

图书馆

1. 武汉理工大学图书馆 (30)
2. 显示更多..

馆藏地点

1. 余区图书保存本库 (13)
2. 西院博硕论文库 (8)
3. 南湖外文图书借阅区 (6)
4. 西院西文图书保存本库 (3)
5. 余区外文图书借阅区 (2)
6. 显示更多..

主题

1. algebraic logic (11)
2. 泛布尔代数 (7)
3. logic programming (5)
4. logic, symbolic and mathematical (5)
5. pan-boolean algebra (5)
6. algebra (4)
7. algebra, abstract (4)
8. logical control (3)
9. 逻辑控制 (3)
10. algebraic fields (2)
11. group algebras (2)
12. rings (algebra) (2)
13. $k$-theory -- $k$-theory and operator algebras -- kasparov theory ($kk$-theory) (1)
14. $k$-theory -- topological $k$-theory -- equivariant $k$-theory (1)
15. $k$-theory -- topological $k$-theory -- twisted $k$-theory; differential $k$-theory (1)
16. algebra, boolean (1)
17. algebraic binary decision diagram (1)
18. algebraic geometry -- foundations -- noncommutative algebraic geometry (1)
19. algebras, linear (1)
20. axiomatic set theory (1)
21. 显示更多..

著者

1. naval postgraduate school (4)
2. u.s. department of commerce national technical information service (4)
3. air force systems command (3)
4. arnold engineering development center (2)
5. international seminar on relational methods in computer science (2)
6. international workshop on applications of kleene algebra (2)
7. arnold air force station (1)
8. arnold engineering development cneter (1)
9. barnes, d. w (1)
10. bell, j. l (1)
11. berghammer, r (1)
12. boudreau, a. h (1)
13. brendmoen, jack vernon (1)
14. burness, timothy c., (1)
15. calculemus 2007 (1)
16. centre national de la recherche scientifique (france) (1)
17. cortin?as, guillermo, (1)
18. giudici, michael, (1)
19. gray, peter m. d., (1)
20. hill, james allan (1)
21. 显示更多..

出版日期

1. 显示更多..

文献类型

1. 图书（纸本） (22)
2. 学位论文 (8)
3. 显示更多..

语言种类

1. 显示更多..

在馆

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