Verificación formal en ACL2 del algoritmo de Buchberger

(No reviews yet) Write a Review

Euro

€55.06

SKU:

9788496274273

Autor:

MEDINA BULO, INMACULADA

Editorial:

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

(No reviews yet) Write a Review

Write a Review