このページのリンク

Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.)
(Lecture notes in computer science ; 2061 . Lecture notes in artificial intelligence)

データ種別 図書
出版者 Berlin : Springer
出版年 c2001
本文言語 英語
大きさ viii, 323 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:448:D38:I577:2000
3540425985 003449514

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
Richter-Gebert, Jürgen
Wang, Dongming
件 名 LCSH:Geometry -- Data processing -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA448.D38
巻冊次 ISBN:3540425985 REFWLINK
ISBN 3540425985
NCID BA53656183 WCLINK
目次/あらすじ

 類似資料