Winkler, Franz

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers978-3-54O-2O927-O
(3-54O-2O927-1)
2008

Franz Winkler · W F · W. Franz

Winnie Festerling