Report - La Lógica Computacional ACL2 Programación y … · La Lógica Computacional ACL2 Programación y Razonamiento Automático I. Medina Bulo F. Palomo Lozano* {inmaculada.medina,francisco.palomo}@uca.es

Please pass captcha verification before submit form