Demostración automática de un teorema sobre tres circunferencias concurrentes
ISSN: 1135-0261
Datum der Publikation: 1993
Nummer: 34
Seiten: 55-70
Art: Artikel
Andere Publikationen in: Boletín de la Sociedad Puig Adam de profesores de matemáticas