Austria) InternationalWorkshoponAutomatedDeductioninGeometry(4th:2002:Linzの本

1冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• Automated deduction in geometry : 4th international workshop, ADG 2002 : Hagenberg Castle, Austria, September 4-6, 2002 : revised papers. : Sep 2002, Hagenberg, Austria
  Automated deduction in geometry : 4th international workshop, ADG 2002 : Hagenberg Castle, Austria, September 4-6, 2002 : revised papers. : Sep 2002, Hagenberg, Austria2004-01-01