Personal Information
Entreprise/Lieu de travail
Sevilla, Andalucía Spain
Secteur d’activité
Education
Site Web
www.glc.us.es/~jalonso/vestigium
À propos
Profesor de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla.
Mots-clés
haskell
logica proposicional
lógica
tipo abstracto de datos
pvs
resolucion
prover9
acl2
isabelle
i1m
algorítmica
logica de primer orden
mace4
forma normal conjuntiva
tableros semanticos
tad
deduccion natural
logica; prover9; mace4; dpll
dao
isabellehol
forma normal disyunti
quickcheck
polonomios
programacion logica
prolog
logica; sintaxis; semantica
otter
razonamiento automatico
haskell programacion dinamica
unificacion
forma de skolem
clausulas
divide y venceras
espacio de estados
grafos
tipos abstracto de datos
array
tablas
problema sat
problema taut
forma normal diyuntiva
monticulos
colas de prioridad
tad de las colas
pilas
prover9
razonamiento automtico
acl2
razonamiento automtico
lgica proposicional
recursion
emacs
programacin funcional
Tout plus