Automatic discovery of theorems in elementary geometry
- Recio, T.
- Vélez, M.P.
ISSN: 0168-7433
Año de publicación: 1999
Volumen: 23
Número: 1
Páginas: 63-82
Tipo: Artículo
Revista:
Journal of Automated Reasoning