Normal view
MARC view
Démonstration automatique de théorèmes (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria) 18130, Automated deduction in geometry :, ©2004.