Publicado el 20 de Junio del 2017
630 visualizaciones desde el 20 de Junio del 2017
211,4 KB
31 paginas
Creado hace 8a (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
19 visualizaciones durante los últimos 90 días