Automated deduction in geometry : second international workshop, ADG'98, Beijing, China, August 1-3, - detaljert visning

Automated deduction in geometry : second international workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings


Utgitt	Berlin : Springer , c1999
Omfang	VI, 285 s. : ill.
Emner	Automatisk bevisføring Bevisføring (Matematikk) - Databehandling Geometrisk konstruksjon
ISBN	3540666729