| 书名 |
Frontiers of combining systems |
| 作者 |
|
| 从编题名 |
6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings / |
| 分类 |
O141-532 |
| 主题 |
Logic, Symbolic and mathematical,Computer science |
| 出版、发行地 |
Berlin ;,New York : |
| 出版、发行者名称 |
Springer, |
| 出版、发行日期 |
c2007. |
| 页数 |
x, 282 p. : |
| 分类号 |
TP3/L471/2007/V.4720/Y |
| 分类 |
数理科学和化学
|
| 内容提要 |
|
| 馆藏地点 |
总馆理科外文阅览 |
|