Relación 1
De Razonamiento automático (2015-16)
Revisión del 11:11 30 nov 2015 de Jalonso (discusión | contribuciones)
He cambiado el sitio de los nombres de los autores para ponerlo delante de cada definición. También he numerado las distintas versiones de la misma función para que no den problemas al cargar la teoría.Jalonso