| 000 | 00439pam a2200157a 44500 | ||
|---|---|---|---|
| 008 | 160408b1988 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a516.00285 _bC457m |
||
| 100 | _aChou, Shang-Ching | ||
| 245 | 1 | _aMECHANICAL GEOMETRY THEOREM PROVING | |
| 260 |
_aDordrecht _bD. Reidel _c1988 |
||
| 300 | _axii,362 | ||
| 440 |
_aMathematics And Its Applications _v |
||
| 650 | _aAutomatic Theorem Proving | ||
| 964 | _gCIRC | ||
| 997 | _aA100424 C | ||
| 999 |
_c321262 _d321262 |
||