skip to main content
Primo Search
Search in: Busca Geral

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)

Buscando em bases de dados remotas. Favor aguardar.