Normal view MARC view

Richter-Gebert, Jürgen, 1963- (Personal Name)

Preferred form: Richter-Gebert, Jürgen, 1963-

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.

Powered by Koha