- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Capítulos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor "Lambán Pardo, Laureano"
Mostrando ítems 1-1 de 1
-
Capítulo de Libro
Topología simplicial en ACL2
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Universidad de la Rioja, 2010)