Publicado el 20 de Junio del 2017
747 visualizaciones desde el 20 de Junio del 2017
211,4 KB
31 paginas
Creado hace 9a (18/12/2015)
Resolución de
primer orden
Resolución básica
Resolución no
restringida
Unificación
Ejemplos
Resolución
Paramodulación
Tema 9:
Resolución en lógica de primer orden
Dpto. Ciencias de la Computación Inteligencia Artificial
Universidad de Sevilla
Lógica Informática
(Tecnologías Informáticas)
Curso 2015–16
Resolución de
primer orden
Resolución básica
Resolución no
restringida
Unificación
Ejemplos
Resolución
Paramodulación
Contenido
Resolución básica
Resolución no restringida
Unific...
Crear cuenta
17 visualizaciones durante los últimos 90 días