Jump To : Overview | Titles | Subjects

International Workshop on Automated Deduction in Geometry (2000 :)

Overview
Works: 1 works in 0 publications in 0 languages
Titles
Automated deduction in geometry = third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: Richter-Gebert, Jurgen.; Wang, Dongming.; SpringerLink (Online service); International Workshop on Automated Deduction in Geometry (2000 :) (Language materials, printed)
 
 
Change password
Login