Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
International Workshop on Automated Deduction in Geometry (3rd 2000 Zurich, Switzerland) Jürgen Richter-Gebert 1963-; Dongming Wang
Berlin Springer New York c2001
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2061 ) e outros locais(Acessar)