M. P. Vélez

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

1 Tomás Recio, M. P. Vélez: Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 23(1): 63-82 (1999)

	1999
1		Tomás Recio, M. P. Vélez: Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 23(1): 63-82 (1999)

Coauthor Index