| NCID | BA01547866 |
| タイトル | Mechanical geometry theorem proving / Shang-Ching Chou |
| 出版者 | Dordrecht ; Tokyo : D. Reidel , c1988 |
| 形態 | xii, 362 p. : ill. ; 25 cm |
| 注記 | Includes indexes |
| シリーズ名 | Mathematics and its applications
|
| 分類 | LCC:QA76.9.A96
DC19:516/.0028/5 |
| 件名 | LCSH:Automatictheoremproving
|
| 著者情報 | Chou, Shang-Ching, 1942-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | オランダ |
| ISBN | 9027726507
|
| 番号 | LCCN : 87030387 |