Normal view
MARC view
Richter-Gebert, Jürgen, 1963- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland) 21341, Automated deduction in geometry :, ©2001.