Demostración automática de un teorema sobre tres circunferencias concurrentes
ISSN: 1135-0261
Any de publicació: 1993
Número: 34
Pàgines: 55-70
Tipus: Article
Altres publicacions en: Boletín de la Sociedad Puig Adam de profesores de matemáticas