Automated-Deduction-in-Geometry-Second-International-Workshop-ADG98-Beijing-China-August-1-3-1998-Proceedings-Lecture-Notes-in-Computer-Science-Band-1669 74,89 EUR*