Automated deduction in geometry : 4th international workshop, ADG 2002 : Hagenberg Castle, Austria, September 4-6, 2002 : revised papers. : Sep 2002, Hagenberg, Austria. (Lecture Notes in Computer Science ; 2930. Lecture Notes in Artificial Intelligence)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。