书名 |
Automated Reasoning : |
作者 |
|
从编题名 |
4th International Joint Conference, IJCAR 2008, Sydney, Nsw, Australia, August 12-15, 2008 : proceedings / |
分类 |
TP181-532 |
主题 |
Automatic theorem proving,Computer logic |
出版、发行地 |
New York : |
出版、发行者名称 |
Berlin ;,Springer, |
出版、发行日期 |
c2008. |
页数 |
xii, 556 p. : |
分类号 |
TP3/L471/2008/V.5195/Y |
分类 |
自动化技术、计算机技术
|
内容提要 |
|
馆藏地点 |
总馆理科外文阅览 |
|