Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

AvDongming Wang,Jurgen Richter-Gebert

E-bok
PDF, Engelska, 2003

687 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av