págs. 1-18
págs. 19-37
págs. 38-45
págs. 46-59
págs. 60-73
págs. 74-95
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Inmaculada Medina Bulo, Francisco Palomo Lozano, José Luis Ruiz Reina
págs. 96-123
págs. 124-149
© 2001-2024 Fundación Dialnet · Todos los derechos reservados