- -

Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática

Mostrar el registro completo del ítem

Casamayor Rodenas, JC. (1996). Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática [Tesis doctoral no publicada]. Universitat Politècnica de València. doi:10.4995/Thesis/10251/6023.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/6023

Ficheros en el ítem

Metadatos del ítem

Título: Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática
Autor:
Director(es): Ramos Salavert, Isidro
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Fecha acto/lectura: 1996-10-25
Resumen:
El trabajo incluido en la presente tesis se enmarca dentro del campo de la demostración automática de teoremas y consiste en la estudio, definición y desarrollo de un paradigma de resolución lineal, denominado Resolución ...[+]
Palabras clave: Demostración teoremas , Resolución sl* , Sistemas meson
Derechos de uso: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/6023
Tipo: Tesis doctoral

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem