Acciones

Temas

De Razonamiento automático (2016-17)

Revisión del 15:45 15 oct 2016 de WikiSysop (discusión | contribuciones) (Página creada con '== Temas de ''Razonamiento automático (2014-15)'' == <!-- * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas: ** [http://www.cs.us.es/~ja...')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Temas de Razonamiento automático (2014-15)

Obtenido de «https://www.glc.us.es/~jalonso/RA2016/index.php?title=Temas&oldid=4»