Detalls del llibre
- Autor/a Inmaculada Medina Bulo
- ISBN13 9788496274273
- ISBN10 8496274276
- Pàgines 1
- Any Edició 2004
- Fecha de publicación 01/12/2004
- Idioma Castellà
Ressenyes i valoracions
Verificación formal en ACL2 del algoritmo de Buchberger (Castellà)
- De
- Inmaculada Medina Bulo
- |
- Servicio de Publicaciones de la Universidad de Cádiz (2004)
- 9788496274273



