Výsledky hledání pro autora

1

Obálka

Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers /

Vydáno 2006

Další autoři: '; “...Wang, Dongming, 1961-...”

Kniha

2

Obálka

Automated deduction in geometry : third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Vydáno 2001

Další autoři: '; “...Wang, Dongming, 1961-...”

Kniha