Sixth International Workshop on Automated Deduction in Geometry

  1. Botana Ferreiro, Francisco
Journal:
Gaceta de la Real Sociedad Matematica Española

ISSN: 1138-8927

Year of publication: 2006

Volume: 9

Issue: 3

Pages: 806-808

Type: Article

DIALNET GOOGLE SCHOLAR

More publications in: Gaceta de la Real Sociedad Matematica Española

Data source: Dialnet