Demostración automática de un teorema sobre tres circunferencias concurrentes
ISSN: 1135-0261
Année de publication: 1993
Número: 34
Pages: 55-70
Type: Article
D'autres publications dans: Boletín de la Sociedad Puig Adam de profesores de matemáticas