Estadísticas del PDF: Razonamiento autoático en programación genérica con ACL2: estudio de un caso

con ACL2: estudio de un caso

y

y
finmaculada.medina; [email protected]
y

Departamento de Lenguajes y Sistemas Informáticos

Universidad de Sevilla

[email protected]



y



I. Medina Bulo

, J. A. Alonso Jiménez

, F. Palomo Lozano

Razonamiento automático en programación genérica

Departamento de Ciencias de la Computación e Inteligencia Artificial

Universidad de Cádiz

Palabras clave: Lógica Computacional, métodos formales, razonamiento automático, len-
guaje de programación aplica...