书名 |
Automated deduction in geometr |
作者 |
|
从编题名 |
6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / |
分类 |
O18-39 |
主题 |
Geometry,Automatic theorem proving,Logic, Symbolic and mathematical |
出版、发行地 |
Berlin ;,New York : |
出版、发行者名称 |
Springer, |
出版、发行日期 |
c2007. |
页数 |
x, 211 p. : |
分类号 |
TP3/L471/2007/V.4869/Y |
分类 |
数理科学和化学
|
内容提要 |
|
馆藏地点 |
总馆理科外文阅览 |
|