Demostración automática de un teorema sobre tres circunferencias concurrentes
ISSN: 1135-0261
Argitalpen urtea: 1993
Zenbakia: 34
Orrialdeak: 55-70
Mota: Artikulua
Beste argitalpen batzuk: Boletín de la Sociedad Puig Adam de profesores de matemáticas