Temas
De Demostración asistida por ordenador (2012-13)
Revisión del 19:21 20 nov 2012 de Jalonso (discusión | contribuciones) (Página creada con '== Temas de ''Demostración asistida por ordenador'' == * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Panorama de la demostración asistida por ordenador]. * [[...')