José A. Alonso

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