Product Overview
Importante: este producto es importado y puede tener una demora de 18 días. 
Titulo: Verificación formal en ACL2 del algoritmo de Buchberger
Año: 
Autor: MEDINA BULO, INMACULADA
Editorial: -
Lenguaje: spa
ISBN: 9788496274273
Categoria: MATEMATICAS
SKU-INT: GALLEGO11300