このページのリンク

利用統計

  • このページへのアクセス:4回

  • 貸出数:2回
    (1年以内の貸出数:0回)

<図書>
Mechanical geometry theorem proving

責任表示 Shang-Ching Chou
シリーズ Mathematics and its applications
データ種別 図書
出版者 Dordrecht ; Tokyo : D. Reidel
出版年 c1988
本文言語 英語
大きさ xii, 362 p. : ill. ; 25 cm

所蔵情報


理系図3F 数理独自 068222188001687 CHOU/10/1 1988

書誌詳細

一般注記 Includes indexes
著者標目 *Chou, Shang-Ching, 1942-
件 名 LCSH:Automatic theorem proving
分 類 LCC:QA76.9.A96
DC19:516/.0028/5
書誌ID 1001394756
ISBN 9027726507
NCID BA01547866
巻冊次 ISBN:9027726507
登録日 2009.11.02
更新日 2009.11.02

類似資料