Deducción Automática
Sesión 5: Deducción Automática
Faraón Llorens Largo
26 de octubre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante
Deducción Natural (estrategias)
Sesión 4: Deducción Natural (estrategias)
Faraón Llorens Largo
13 de octubre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante