You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Automated deduction in geometry
:
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 selected papers