Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe - detaljert visning

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers


Utgitt	Berlin : Springer , c2001
Omfang	VIII, 323 s. : ill.
Emner	Automatisk bevisføring Automatisk deduksjon Geometri
ISBN	3540425985