Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, S - detaljert visning

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers


Utgitt	Berlin : Springer , c2004
Omfang	VI, 229 s. : ill.
Emner	Automatic theorem proving Geometry - Data processing Logic, Symbolic and mathematical Automatisk bevisføring Vis mer... Automatisk deduksjon Geometri
ISBN	3540209271