Normal view
MARC view
Logic, Symbolic and mathematical Congresses(Topical Term)
Machine generated authority record.
Work cat.: (UIAM)476108: International Workshop on Automated Deduction in Geometry Gainesville, Fla.) 2004 : (5th : 6831, Automated deduction in geometry :