TY  - THES 
A3  - Alonso Jiménez, José Antonio
A3  - Ruiz Reina, José Luis
AU  - Medina Bulo, María Inmaculada
A4  - Lenguajes y Sistemas Informáticos
PY  - 2003
SN  - 9788496274273
UR  - http://hdl.handle.net/10498/14705
AB  - ACL2 is a computational logic, an automated reasoning system and an applicative programming language, a subset of COMMON LISP, based in pure lambda-calculus. It was developed in the University of Texas at Austin (USA) and is based in an untyped...
LA  - spa
KW  - computer science
KW  - mathematics
KW  - ciencia de la  computación
KW  - matemáticas
KW  - artificial intelligence
KW  - inteligencia artificial
TI  - Verificación formal en ACL2 del algoritmo de Buchberger
T2  - Formal verification of Buchberger's algorithm in ACL2
M3  - doctoral thesis
ER  -